Fixed coverity and travis-ci badges.