Add a SpiderMonkey GGC builder, and add an argument to dostuff for a different awfy.config.