Update deps/runtimeverification/pyk

[ehildenb]

This switches us to pulling in K updates via the pyk version, flattening out the dependency chain.

• Remove the K submodule.
• Automatically update K version from pyk version on update-version job.
• Remove stuff in Makefile related to old K submodule.
• Automatically bump version numbers and publish releases to github.