Add a link to the contributors page from the footer
Slightly improve link_of_lang.ml