Dockerfile for a data volume containing bluespec