shared library version numbers in the modula-3-lib port. PR: Closes ports/3572 Submitted by: gjm11@dpmms.cam.ac.uk (Gareth McCaughan)
builds and installs properly.