Set up travis ci and badge