Update Lesson 1.5 README.#4816

ibastys wants to merge 2 commits intoruntimeverification:developruntimeverification/k:developfrom

ibastys:lesson_1_5_updateibastys/k:lesson_1_5_updateCopy head branch name to clipboard