Set up Travis CI (fix #7)