Merge pull request #98 from ethz-asl/fix/faster_hash

Faster hashing
fix_hash_id_hasher
Merge remote-tracking branch 'origin/master' into fix/faster_hash

Conflicts:
	sm_common/include/sm/hash_id.hpp