Android: Bugfixes

A few more things to patch up the current release candidate:

* better re-sync logic after an on-upgrade DB wipe
* complete impl of story list long-press mark (un)read (#350)
* remove mystery whitespace (#505)
* make code/pre block more readable (#193)
* fix an overlay widget that got accidentally moved
* fix a market-reported crash