4.00.1.html: fix link to previous release
port http://caml.inria.fr/caml-light/release.en.html
svn.html: mention Mantis bug tracker
svn.html: mention GitHub mirror
Merge remote-tracking branch 'origin/master'