Several further improvements made to travis configuration file