add coveralls badge, tweak travis conf slightly