Use latest highlighting-kate and texmath.

Closes #849.