fix link to portability.html

Were incorrectly pointing to deprecated caml.inria.fr page.