Bug 619558 - Fix help text for SpiderMonkey's ggc configure option;