HTML Editor + Quick function

New functionalities added :
- WYSIWYG HTML editor in contextual menù
- run/stop process in ideino toolbar