DroidFish: Use fewer decimal places to display engine thinking time when the time is large.

git-svn-id: http://cuckoochess.googlecode.com/svn/trunk@1189 738e98cc-9000-e54f-6aee-11b01496cf95
DroidFish: Preserve case of UCI option names in the setoption command. Some engines (such as Greko) think UCI options are case sensitive.

git-svn-id: http://cuckoochess.googlecode.com/svn/trunk@1190 738e98cc-9000-e54f-6aee-11b01496cf95
DroidFish: Build native code for all platforms supported by the NDK.

git-svn-id: http://cuckoochess.googlecode.com/svn/trunk@1191 738e98cc-9000-e54f-6aee-11b01496cf95
Merge branch 'master' into mpcjanssen-updates