en.xsl generates en.xml based on old en.xml

adding tags for: algorithm, tableau, definition, examples, exercise, assertion,
	proof