Travis build: environments

Some of the commits from #1200 were not properly cherry-picked in #1316. Thus the Travis build was inconsistent between branches. 

This PR should restore the multiple environment Travis builds in the dev_4_4 branch