Set up travis-ci integration