Fork of https://github.com/ioi/isolate, packaged for docker