[Git][cmucl/cmucl][issue-363-add-version-number] Add -print-version option and use it in make-dist.sh to get version