in hxt-regex-xmlschema criterion benchmark added