#618: cmake options for extra warnings, and for Werror

these are off by default, need to be enabled for buildbot
Repaired critical versioning error. How did this happen?
automatic casadibot merge