added support for updating workbench.properties and allowing DB access to worbench
Merge branch 'master' of https://github.com/digitalabs/IBPWorkbenchLauncher