annogen fix post-normalise yarowsky glitch + add opcode compaction to Python runtime (helps debug others)

annogen Android apps: a Clear box appears when URL is auto-pasted to start screen; fix release-notes publishing

bookmarklet JS and Android app: catch lingering cross-domain exceptions in the scan for updated content

bugfix: on some local-net setups, JS filter switches still tried to set cookies with port numbers in domains

annogen Android fix missing EPUB controls on recent versions of Android that return non-null MIME type for xhtml

annogen Android apps: fix WebView crash on some 5.1 tablets (black screen shortly after startup) due to some JS injection not being on UI thread