Removed the md5 library, obsoleted by PolarSSL.

Fixes #1130.