Simplify Loader interfaces

This is pretty big change to symbol handling, now the boomerang's core is maintaining the BinarySymbolTable, and loaders access it through abstract interface.
Also removed useless methods from LoaderInterface and loaders.
Update some baseline test files to match the current ADDRESSs printing style
Update LoaderTest to reflect the fact that zero sized sections are not recorded anymore.
Add flag to ADDRESS::toString that formats the resulting string a bit.
Small regression_tester.rb change, removed useless "\n"

Also use LOG_VERBOSE(1) macro in frontend.cpp
Add interesting tidbit.

When processing recursive functions, the UserProc::removeRedundantReturns doesn't work all that great
Building unionOfCallerLiveLocs while skipping calls that `doesRecurseTo(this)` allows for removing of some redundant parameters
but sadly it also causes invalid removals of returns.