Put the quickbook version numbers in a single header, along with convenience functions for using them in spirit grammars.