set up travis ci (fixes #5)