Add Settings api, and xpathCompression setting for Android
Merge pull request #3575 from Jonahss/settings2

Add Settings api, and xpathCompression setting for Android