all man pages now display the current GiNaC version number