Coverage Histogram, and bug fixes
A critical initialization bug is fixed in CoverageMapStatsCollector

Also, a few dumb pointers are replaced by c++11 unique_ptr