Docker - allow running as non root user#676

earcam wants to merge 2 commits into

protegeproject:masterprotegeproject/webprotege:masterfrom

earcam:docker-non-root-userearcam/webprotege:docker-non-root-userCopy head branch name to clipboard