v0.1.1: Update deps/runtimeverification/pyk (#576)
* .gitmodules, deps/k: remove K submodule * .github/update-version: get K version from pyk update * Makefile: remove stuff related to submodule build * pykwasm/: sync poetry files v0.1.631 * deps/pyk_release: Set Version v0.1.635 * pykwasm/: sync poetry files v0.1.635 * deps/k_release: sync release file version 6.2.31 * .github/test-pr: setup version bumper * .github/master-push: publish github releases on master push * Set Version: 0.1.1 --------- Co-authored-by: devops <[email protected]>