Re-enable .travis.yml

Either due to the recent specification cleanup or due to
changes on travis-ci.org itself, the build is now passing.