Set up Travis and add a badge to the readme