How IPython works document

With apologies to @drocco007 and @olgabot, this is my take on what the 'How IPython works' document should look like. I deliberately haven't based it on PR #6141, because that includes some extra images that I don't think should go in the repository, and going back and removing them from history would be a pain. So this is an independent attempt at the same material. If we do decide to merge this one, we should make sure both Daniel and Olga are credited in the release notes.

I've deliberately kept the description quite short, because I think people are more likely to read it that way. I've had a go at drawing the diagrams, but I freely acknowledge that I'm no great artist. It would be good to get some people less familiar with the project to read through this and see what is and isn't clear, but that can be done post-merge.
I wonder if it would be better to use plurals here: Wrapper Kernels, and Native Kernels. Otherwise, it looks like there is just one, rather than a bunch of each (and there are a bunch of each now). (Not really sure that this is an important distinction, unless there are pointers to further docs.)