HashMap.h, for making use of whatever hash table your system has lying around

currently used only in Options.cpp since it's not as easy to emit with yaml-cpp as std::map