Introduce version.hpp back into the repository; see FIXME comments