fix for rotated document to file manager transition: do a refresh

fixes part 2 of #1333
fix: save properly last open menu in reader

20fd6f902e1b1c2d47232442699d0d0254dba5f4 missed the saving part when
renaming the configuration variable.

Fixes #1335.
Merge pull request #1334 from hwhw/master

fix for rotated document to file manager transition: do a refresh
fix #1336 by ignoring uncompatiable saved highlights
workaround to fix #1340
update koreader-base to get rid of 'cannot open' error message
make sure refresh_count is incremented by only once at most for each repaint
Merge pull request #1341 from chrox/master

fix #1336 by ignoring uncompatiable saved highlights
issue a full refresh when changing rotation
pull latest base: fix zero-size refresh cases (Kobo framebuffer crash)
Merge pull request #1349 from hwhw/master

Fix refresh crash
fix OTA server broken on checking stable release
Merge pull request #1351 from chrox/master

fix OTA server broken on checking stable release