Added script to setup a DocBook build environment for Debian, updated README files
Merge pull request #217 from johan162/master

Updated build documentation and Debian 7 setup script