reef-docker Docker files for REEF This is very much a work in progress and doesn't actually work yet.