Optimize docserver/Dockerfile