Splitter position

Fix and improve handling of split view.
Add option to set proportion of editor to preview using the menu.

closes issue #20