Updated docs to point to newly added Debian installation instructions.