Add tool to translate from format supported by pnmc to TINA