Trying cleaner Travis script and added Coverity badge.