This update for robin-map fixes the following issues:

Update to version 1.3.0: 

  * Add erase_fast(iterator pos) method which in contrast to
    erase(iterator pos) doesn't return an iterator, avoiding the
    cost of looking for the next element after erasure of the
    element at iterator pos.

Changes of version 1.2.2:

  * Specify library version & versioning rules in headers
  * Mark error_message in numeric_cast as unused to avoid compiler
    warning in some cases
  * Remove support for CMake < 3.3