Fix for StrictMode error.

When the device lost connectivity, a StrictMode error could be thrown since
the stream was never closed.
Issue 4019 -- Fix inability to zoom out.

Thanks to davidgca...@gmail.com for references in
his comments 80 & 81.
Update Korean translations
Update Ko translations (complete list)
Modify Korean translations on Classes
Improve MessageWebView display.

Now that MessageWebView has 'setUseWideViewPort(true)',
the wide view port is excessively wide.  It turns out
Android is using a fixed width of 980 px, so that even
plain text messages (which are already wrapped to fit
the screen) have a large empty area beside them when
scrolled to the left.

Injecting a meta tag in the html header fixes the
problem.
Change when <html> tags are applied to messages.

Previously, <html>, <head>, & <body> tags were
attached to messages before they were stored locally.
But now that the <head> element also needs to include
a <meta> element (for proper MessageWebView display),
it seems unecesary to store all these tags with each
message.

Now the tags are no longer stored with the messages.  Instead,
MessageWebView applies the tags before displaying the message.

This also eliminates the need to upgrade an older
message database where all the old messages would have
otherwise needed to be wrapped with the new tags.
Remove unused code in HtmlConverter.

HtmlConverter.getHtmlHeader() and getHtmlFooter() are
no longer used.  Remove them and other related code.
Refactor code for MessageWebView.setText()

The MIME type for the supplied text was always text/html,
so there is no need to pass that as a parameter.
Furthermore, we are relying on it being text/html because
we are wrapping it with HTML code.

Likewise, change/simplify/rename AccessibleWebView.loadDataWithBaseURL().
Fix unit tests.
Don't store the font-family preference with plain text messages.

Dynamically generate the CSS style for <pre> elements
for inclusion in the HTML <head> element when messages
are displayed.

This permits a user to change their font-family preference
for plain text messages and see the results immediately.

Obviously any old locally-stored messages that had their
font-family stored with them will continue to display using
that font-family, irrespective of the user's current
preference setting.
Modify Korean translations
Fix Korean translations
Fix message list item background color
Fix and vastly simplify the query for the threaded message list

This requires another database schema change. With this change messages
at the root of a thread reference themselves in the 'threads' table,
i.e. 'root' contains the value of 'id' for these messages. It makes
selecting all messages in a thread much simpler.
Change style for button bar in setup (Android 3+)

Use the button bar layout from Roman Nurik's WizardPager example:
https://code.google.com/p/romannurik-code/source/browse/misc/wizardpager
Use theme-specific image for 'add contact' button
Disable server side full text search for the moment

The server search itself does work. But the results are not displayed
to the user because only the message headers of found messages are
downloaded and the subsequent search in the local database won't return
those messages.
Merge pull request #276 from Uni-/master

Update Korean translation
Merge pull request #211 from colund/master

Close stream in case of an exception