reorderbddsystemdynamic(3) on Linux

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

specifies the dynamic bdd reorder parameters.

reorderbddsystemdynamic(3) on Linux now