The shell currently used in the demo is dash, compiled with emscripten: https://github.com/plasma-umass/browsix/blob/master/src/dash...
Which ends up in the build through our gulpfile: https://github.com/plasma-umass/browsix/blob/master/gulpfile...