A set of php files to combine etherpad-lite with LaTeX