Re-add all Specs, update .travis.yml to test Specs