Now builds using Android SDK and gcc 4.7
Fixed problems with utfstring, now all platforms will use utf8_cpp unless UTF_USE_ICU is defined (which it isn't, at present). Note that Android still builds in ICU at present, so it's still quite large.