Dockerfile for setting up vobench