Add forgetten short_version.sh file from the previous commit (issue #19).