Add --list-tex command line argument

Also add --list-asy argument; remove -i (--interactive) argument for
redundance; other small improvements.