Fix compilation (that happens when you commit without compiling first...)
Updated Travis CI config so it only builds for gcc (also: Don't do Coverity scan with every commit)