Android patch 20140623

Things to improve in later versions (or now if someone knows a better way):
-wchar conversion
-hack detection
-better way to replace builtin formspecs, maybe add lua api functions
-other things you find in there ;-)