Export to HTML

Add specific dialog to the export to HTML function. The user is now able
to include the currently selected style in the resulting HTML.
Add documentation and tooltip
Merge branch 'feature/export-html' into develop