Introduce new format for version.inc.

Introduce new format for version.inc.
This switches from build-number-based versioning to a ProtocolVersion and a version
string that is merely descriptive. version.inc can be overriden by version.gen, which
is supposed to be generated by build scripts.
In addition, we now create a build date automatically.