disable reporting unhandled exception on Android
Merge pull request #367 from mhamrle/unhandled_exception

Disable reporting unhandled exception on Android
fix renaming OTString -> String for Android
Merge pull request #366 from mhamrle/android_string_rename

fix renaming OTString -> String for Android
windows build fixes
ignore unknown pragma on windows