[#762] Speed up travis build

Fixes #762 

WIP.