Re-add Travis-CI config