isbddvarinsupport(3) on Linux

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

tests if a variable appears in a bdd.

isbddvarinsupport(3) on Linux now