Restore .travis.yml

Deleted after accidental push to origin/master, followed by pull origin/master.