This reverts commit 34d5394409cd39a7953bd169ffdc36a618641ce3.
Gcc builds were too resource hungry and kept getting killed by
Travis. Will keep investigating alternate approaches...
Changes required:
- switch Travis builds to gcc, using O0 for build speed
- enable a debug build
- enable coverage report for ctest on Travis (sent to dash)