delbddcircuitout(3) on Linux

The text 2bdb0d2bab88, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.

deletes an output in a bdd circuit.

delbddcircuitout(3) on Linux now