Added ability to time other Gremlin scripts.