debian/control: Update build dependencies

https://github.com/coq/coq/commit/6b4a57051a470436b50d53e7395ec44b52e2dc7e
requires rsync to collect test logs. This only really makes a
difference in Coq’s CI environment, but it’s simpler to just let it do
its thing than it is to patch the behavior out.