Weakly left cancellative semirings with derivations