The web front end for ShareLaTeX, a web-based collaborative LaTeX editor