Merge pull request #610 from hwhw/master

Claim that Android devices do not have a keyboard
update ignore file
add missing Blitbuffer since it's removed from global space
detect screen DPI for android devices
remove least used koptoptions to save space for small screens
GUI tweaks for small screen
that sets a maximum size that won't render content outside of the screen
use android config interface to detect device keyboard and screen dpi
Merge pull request #611 from chrox/master

use android config interface to detect device keyboard and screen dpi