fixes to travis and badges stuff