Makefile fixes and improvements.
tests/timed-dump-core: re-enable debugging printout as it's generally useful.
Making printing quicker by avoiding unnecessary iterator dereferences, and avoid boost::iostreams in the fast (iterator_base) case.