badges and minor fixes for travis