Remove Docker-based execution feature #15
Description
Remove current Docker-based execution feature in preparation for migration to external API for code execution within collaborative sessions.
{{ message }}
Remove current Docker-based execution feature in preparation for migration to external API for code execution within collaborative sessions.