simpbddnodedcoff(3) on Linux

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

simplifies a bdd with don't cares on its off-set part.

simpbddnodedcoff(3) on Linux now