Put Travis CI config back in.