A Lot Of Improvements Are Coming For Mir 0.13, Including Work Towards Libinput

We've known since March that Mir 0.13 would be a very large release and it's certainly panning out that way...