Note: one goal is to have to edit fewer version numbers in source files for each release. We may be able to generate some files by the build procedure (CMake) to avoid editing them in the future (1.5.0 or later).