Merge pull request #237 from menny/master

a bunch of stuff for release v114
Merge pull request #238 from menny/master

Issue #236. Added scroll container to all tips, and added divider to sep...
a small fix to the tips notification text
Merge branch 'master' of git://github.com/AnySoftKeyboard/AnySoftKeyboard