Docker image for https://github.com/ioi/isolate