Fixed #943: User settings menu button should not run out of the screen (right side)
Merge pull request #968 from emanuelschuetze/Fix943

Fixed #943: User settings menu button should not run out of the screen
New command create-dev-settings. Clean up main script. Fix wrong path for Windows version.
Merge pull request #966 from normanjaeckel/NewCommandDevSettings

New command create-dev-settings. Clean up main script. Fix wrong path fo...
Motion PDF: Keep whitespaces in monospace <pre> tags and replace it with '&nbsp;'.
Merge pull request #969 from emanuelschuetze/motionpdf

Keep whitespaces in monotype block in motion PDF
added possibility to show pdfs on the projector