Update intro-to-karel.md