Clean up and Travis/Coverity setup fixing; story #3