gitmodules: Delete entry for dead hoopl submodule