implybddnode(3) on Linux

The text 92505949e341, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.

computes a bdd that implies a conjonction of two bdd nodes.

implybddnode(3) on Linux now