Housekeeping: trigger Travis CI builds on push to GitHub