Move from MD5 to SHA2 for hashing

SHA2 is longer and it ensures that collisions are much less likely than with
MD5. You know, just in case.