Use unordered_map for sm_timing tag map
Merge pull request #108 from ethz-asl/fix/sm_timing_hash_map

Use unordered_map for sm_timing tag map