Resolve #39, user provided environment
Merge pull request #41 from jsverify/user-env

Resolve #39, user provided environment