more travis fixes and badge