HashMap.h should use boost::unordered_map in case the system has no unordered_map implementation. Fixes issue #970