Do not convert .bib to xml

First off, the manual does not currently use the bibliography at all.
Secondly, GAPDoc can handle .bib files directly, there is no need to
manually convert them to XML. Just write
  <Bibliography Databases="AutoDoc.bib"/>
and it will work.