Restore the box cursor

It's ugly, yes, but it's also clearer and plays much better with
Multiple Cursors.  Also, avoids confusion about which frame you are in.
Add support for the algorithm environment
Disable package signatures if GPG is not available
Fix Paredit map