Remove nascent auto-reload capability.

Reloading plugins can never be guaranteed safe, but I also realised
that just because a developer saves a file does not mean she wants a
reload, especially in the middle of a debug session. So, get rid of the
whole concept.

Also, a few minor GUI tweaks.