Travis-CI: make Coverity scan work

Also add the obnoxious Coverity badge to the README
(thanks to torque for the reminder).