submodules: use GitHub URLs for compiler+library, and bump.