[#762] Speed up travis build

Fixes #762