A GPL-licensed tool for GATE plugin data pipelining