composebddnode(3) on Linux

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

substitutes a variable by a bdd in another bdd.

composebddnode(3) on Linux now