tuareg-mode.rcp: change to github