Add a flag for disabling all extensions

Sometimes, server extensions cause server crashes. After a limited number of restarts/retries in the default state, it might make sense for the editor to make a final attempt with a no-extensions flag.