Update documentation/installation/debian_ubuntu.md