Update mini turing and compiler design pages #645
Description
They have fallen, and are constantly falling more, out of date with all the refactoring happening in DPPL. Maybe not for right now, since big things are still moving, but hopefully in a few months' time once things settle a bit.