Merge branch 'origin' into develop
Allow unprivileged install on windows.
Merge branch 'develop' of https://github.com/RemiKoutcherawy/exist into develop