GitLab

Version number now taken from VersionNum file at build time not the
messages file.
Saveing a draw file when a file of the same name already exists now
preserves the old files' attributes.
Tiny tickle for C99.

Version 1.12. Tagged as 'Draw-1_12'