polarssl 1.3.9

Version bump, and additional minor comments and changes.