A socket server for daemonized LaTeXML processing