reorderbddsystemsimple(3) on Linux

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

reorders the bdd nodes of a bdd system.

reorderbddsystemsimple(3) on Linux now