Propagate source environment info for --michelson-comments

Merged Tom Jack requested to merge source-environments into dev
  • has a changelog entry
Edited by Tom Jack