For the next version of this document, the authors plan to include instructions for the Debian installation. Please contact the authors if you have suggestions for the next release of this document.