ZING Is Not GATE - a command-line tool for managing GATE pipelines