tools/sgf2gtp.pl: Accept filename as optional argument