Use https link for Dormann submodule