Update README in Lesson 1.3#4805

automergerpr-permission-manager[bot] merged 4 commits into

runtimeverification:developruntimeverification/k:developfrom

ibastys:k-tutorial-devibastys/k:k-tutorial-devCopy head branch name to clipboard