Dockerfile for butterfly in-browser terminal