fixed travis badge, added coverity badge