+20141220
+ + updated Ada95/configure with macro changes from 20141213
+ + tie configure options --with-abi-version and --with-versioned-syms
+ together, so that ABI 6 libraries have distinct symbol versions from
+ the ABI 5 libraries.
+ + replace obsolete/nonworking link to man2html with current one,
+ regenerate html-manpages.
+