Renamed README file.
Added info about manually loading symbols.
Cleanup and minor refactoring (for easier re-use in gdb batch scripts).

Also fixed a bug that occasionally caused the auto-load scan to terminate too
early.