Fix the link to the debian packaging repository in the readme file