In the documentation, show how to use tap2sna.py with manic_miner.t2s