HSEARCH-1471 Reconfiguring asciidoc plugin to create html and docbook (only in release profile) output and reconfiguring docbook plugin to use generated docbook sources (also in release profile