HTML formatting bar

We have released a development snapshot of the app that includes an HTML formatting bar and minor changes on the UI front.
The formatting bar allows you to italicize, and embolden text, makes easy HTTP links and lists, without having to manually type in the coding.

Buttons in the toolbar are replicated as menu item in the context menu, so for all querty devices is easy to access this feature without moving the focus on the toolbar.

Furthermore, we have introduced an HTML code assistant that make inserting html faster than ever. just type the angular bracket and a popup for tag selection is shown on the screen. This is an experimental feature, we could remove it in the next dev release.