Is Docker appropriate for programming playgrounds? E.g. rust uses it https://github.com/rust-lang/rust-playpen but sec people say https://security.stackexchange.com/questions/107850/docker-as-a-sandbox-for-untrusted-code