Fixes to FreeType and VorbisFile dependencies, new Platformer release (now on Android

[DP News-Robot]

We now gracefully tolerate: Missing VorbisFile library. If missing, we will just not play OggVorbis files, but otherwise everything will work. Missing FreeType library. If not available, texts will be rendered using the standard UIFont, instead of being invisible. It has been always our intention to tolerate missing external library dependencies as much as we …