* Makefile.in (GDBTK_VERSION): Set a version number.