Docker image for Spidermonkey shell