Bug#934950: dafny: unsatisfiable build-dependency in sid

[Benjamin Barenblat]

Having dafny drop out of the archive would be fine with me – I’ve had an
active RFA out for over a year (https://bugs.debian.org/903143), and
nobody seems interested. I’ll officially orphan it and request ftpmaster
removal.