adds cmake options for NDEBUG and timing

cmake config can no toggle the use of "NDEBUG" or "USE_TIMINGOUTPUT"
compiler flags, hence source files and/or .bashrc no longer need to be changed
themselves.
I'm not sure the mechanism survives very nicely for executable
compilation, but it's better to have it and figure that out later.