Hash id hash for 32 bits and simplified.
Merge pull request #105 from ethz-asl/fix/hash-id-hash-for-32

Hash id hash for 32 bits and simplified.