documentation/version number/minor tweaks for 1.8.0 hackage release