intersectbddnode(3) on Linux

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

tests for an intersection between two bdd nodes.

intersectbddnode(3) on Linux now