Add a script to obtain version numbers