added new option for xsl-stylesheet integration to proai.properties