Added mp3 support to Android port, by using libmpg123.
Fixed a few issues with fonts.