easier command line for OutputTool
easier command line for OutputTool

jweese/thrax,tdomhan/thrax,tdomhan/thrax,tdomhan/thrax,jweese/thrax,joshua-decoder/thrax,joshua-decoder/thrax,joshua-decoder/thrax,jweese/thrax,joshua-decoder/thrax