Override the builtin tuareg-mode to point to github