add badges
tweak travis setup