Leader commands

Lesson 13 introduces mapping and mentions the `<leader>` key but never actually introduces it. I already knew abou the leader key but for many people coming to vimtutor-sequel this is probably a new concept. It's probably worth explaining a little more