Fixing history

The history page contains spelling mistakes and mentions Cristal as the current Inria tem developing OCaml, instead of Galllium.