Added tex-snippets and all-snippet