Switch from OcamlForge to GitHub, where possible