Latex editor for Koding