makedok.bat: Added support for version number generation