4.0 Docserver for Linux

I've finally been able to get a 4.0 Docserver working for Linux. The components of this Docserver are slightly different than the Solaris version (using Tomcat and a GNU version of MySQL) so there's only one file to download. The associated README details the installation. I did this sorta quickly, so please let me know what needs fixed