Add docker image with workbench server.
Fix Dockerfile comments.
docserver container updates:
* use base arvados Debian image
* simplify Dockerfile
Add workbench server to build.sh and run.sh
Merge branch 'master' of git.clinicalfuture.com:arvados

Conflicts:
	docker/workbench/Dockerfile