Added a filetype plug-in for DocBook.