Added the Gummi LaTeX editor.