Update top-level CMakeLists.txt to default to release build.  Of
course I can't test because of other build problems, so the chance
I've broken something is non-trivial.