Add MD5 verification under OS X

OS X does not come with the standard md5sum tool so we have to use a
script to compare the message digest.