check for docbook-xsl in configure