Dockerfile for Spidermonkey PHP extension