Configure Travis-CI.