Revised instructions for solving kata locally

Stream: Codewars

[Donald Sebastian Leung]

I noticed over the past few weeks that some newcomers have been encountering issues due to using a different Lean version from that used on Codewars, so I have revised the instructions on how to solve kata locally. Feel free to leave your feedback on the instructions if they need to be improved in any way.