Update HTML doc
Substitute version values in generated man-page for opam-* scripts

(this is related to #561)
Update configure files to substitute the man-pages
Update the generated ./configure
Fix #561

(was missing the -s option, to generate stand-alone man pages)
Update the generated man pages
Update the tutorials