Small fixes for jenkins build environment.
Merge branch 'develop' of github.com:BitShares/bitshares_toolkit into develop
Merge branch 'develop' of github.com:BitShares/bitshares_toolkit into develop