Use boost::hash<> instead of instantiate std::hash<>.
Merge branch 'develop'