+ 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.