Build fixes and output formatting fixes

This changes command line output to be in the de-facto standard format (the same format as used by GCC/Clang and Xcode), especially so that the latter can parse Cong messages and display them in the issue navigator.