Set-up travis and coverage