tools/sgf2gtp.py: alternative implementation of SGF to GTP converter