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

Faster hashing