use http url for sparql-mode submodule