PolarSSL: don't install stuff.

Be a little more careful next time, @Sonicadvance1!
Merge pull request #1084 from waddlesplash/stupid-externals

PolarSSL: don't install stuff.