Markdown editor font [resolves #12]

Add option to change the font of the markdown editor .

* add entry to "Extras" menu for showing the options dialog
* new class Options to manage all application options
* Markdown editor now reacts to changed font signal