Auto merge of #3493 - eduardosm:env-set, r=oli-obk

Add `-Zmiri-env-set` to set environment variables without modifying the host environment

This option allows to pass environment variables to the interpreted program without needing to modify the host environment (which may have undesired effects in some cases).

Author: bors