Merge pull request #606 from chrox/master

finally fix travis build of koreader
refactor: update reader to use new launcher
Merge pull request #607 from houqp/houqp-master

refactor: update reader to use new launcher
Claim that Android devices do not have a keyboard

For now, we can probably live better with the assumption that
Android devices do not have keyboards. That should be replaced
by an actual check, though.
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