python/command: change LaTeX output extension to .tex

Fixes issue #104.