Remove Autokey code and documentation.

This is pursuant to a decision at the dev group face-to-face meeting
on 2016-05-01, at which we learned that Autokey is not only compromised
but was outright broken in 2012.