RMID #65: add script to generate version.