Add --from option to vm.py, to generate Vm.sol from json file

Add --from option to vm.py, to generate Vm.sol from json file #861