Revert "remove old travis config"
Revert "remove old travis config"

This reverts commit 1a0ae4c720ee02fbbc6c97bc12942a83ac0a4185.

ernfrid/svtools,hall-lab/svtools,abelhj/svtools,abelhj/svtools,abelhj/svtools,hall-lab/svtools,abelhj/svtools,hall-lab/svtools,ernfrid/svtools