Upgrade to TeXZilla 0.9.7