Updated build documentation and Debian 7 setup script

Updated build documentation for DocBook and added a shell script which creates a full working Phing docbook development server from a clean Debian 7 installation.