fix testPrintPluginProfiling failing in release mode (where more plugins are available)
build: run tests without coverage for a release build (speed up the build considerably)
Travis CI: run release tests too (now that they don't run with coverage); the cmdline was broken anyway