Git K submodule still refers to `https://github.com/runtimeverification/k`

[dfilaretti]

... but that seems to no longer exist and instead it redirects to https://github.com/kframework/k.
Also, it still uses the name "rv-k".