convertbddmuxabl(3) on Linux

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

converts two bdd nodes to an abl multiplexor expression.

convertbddmuxabl(3) on Linux now