Add "jboss-web_12_1.xsd" and others

Recently, a bunch of new XSD files were added that should be added to XML catalog:

jboss-web_11_1.xsd, jboss-web_12_1.xsd, jboss-web_13_0.xsd, which include jboss-common_7_1.xsd, jboss-common_8_0.xsd

Note that the schema location of those files files has changed compared to previous files, e.g. http://www.jboss.org/schema/jbossas/jboss-web_12_1.xsd or http://www.jboss.org/schema/jbossas/jboss-common_7_1.xsd

Do you pull most recent versions of those files from Git automatically when creating the a new JBoss Tools release? Recently, some typos in older XML files were fixed, and the new files seem to undergo some changes, so it would probably bad to pull a "work in progress" file.