Rename C types so that hippy+pypy sockets co-exist.

PHP sha.h and OpenSSL sha.h had name clashes.