fix broken links due to relative caml.inria.fr href

Partially resolves #90.