Stop switching to partial load mode against user wishes
Fix problems with error display and .ipkg

Filenames for displaying errors were being incorrectly computed,
resulting in missing errors and misdirected hop-to-source links.
Merge pull request #184 from david-christiansen/fix-load-tracking

Fix loaded location location and filename tracking
Add commands and keybindings for moving between errors
Update docs about doc commands
Merge pull request #185 from david-christiansen/error-keybindings

Error keybindings
Get rid of message about nil being an unknown face

When there's no face to add, don't try to add a face.
Merge pull request #186 from david-christiansen/error-keybindings

Get rid of message about nil being an unknown face
Import slime-search-property
Fix stickiness problem with REPL text props
Add the ability to perform ops on live terms

Supported thus far:
 * Normalize
 * Show implicits
 * Hide implicits
Improve finding term boundaries
Fix off-by-one error in term replacement
Support active term widgets properly

Now they encode their buffer, making right-clicks reliable. They can
also be added using a menu item.

The active term commands are also documented.
Merge pull request #188 from david-christiansen/active-terms

Active terms
Properly indent the results of active term commands

This makes showing implicits in errors far more usable.
Merge pull request #192 from david-christiansen/active-terms

Properly indent the results of active term commands
Delete old, broken indentation
Remove broken yasnippet integration
Merge pull request #193 from david-christiansen/crap-removal

Crap removal