Added reference to debian package to manual