Do not promote timedInterrupt option for Gremlin Server script processing

The timedInterrupt option is not terribly useful because it basically does what the combination of the regular scriptEvaluationTimeout with the enableThreadInterrupt does. In fact it sort of competes with it, which can lead to some different error paths which mean the same thing.