Revert "Use 'git describe' for version numbering. This utilizes repo tags and should simplify things."

This reverts commit eef31947ed830fb3aa5d2596130a506c1db0ba4a.