refs #2738
removed old webdav
removed unused platforms
removed unused platforms
refs #2738
Merge branch 'develop' into feature/persistence
updated .gitignore
Merge branch 'develop' into feature/persistence

Conflicts:
	.gitignore
Merge branch 'develop' into feature/persistence
*fixed #2602 and #2603
*fixed
*fixed tinymce
*fixewd tiny-mce
*
*fixed text alignment #2809
*fixed gear menu #2784
*removed sanction request #2631
*changed css settings
*fixed jumplabels (not finished) #2607
*fixed jumplabel layout #2607