Adding documentation about how to install from debian packages