A STOMP socket server for LaTeXML