The return of Travis-CI

This reverts commit 825b3d4b7a8b7ea81ccb0ccd1e6b25089717e090.