Create revision number file

This is for the purposes of a push script so it can automatically read this and generate version number information.