ps/2: Rewrite PS/2 controller driver

[fitzsim]

This new 8042 driver improves PS/2 initialization robustness.

I didn't intend to completely rewrite ps2.lisp but that's what ended up happening.

I had to do a big rebase onto master; I'm in the middle of building that, but I decided to send this to get the review started.