Travis scripts

Fixes #1009.