housel Merge pull request #1113 from cgay/cleanups

[cleanup] Remove unused/obsolete map-statistics library