build jar of the modified version of jdd

This is a modified version of jdd library (bitbucket).

Now in NodeTable.java you can find a new variable

public static int mkCount = 0;

which counts the number of BDD nodes created. And in the BDD.java you can find two new methods

public BitSet minAssignment(int bdd) {}

public int toZero(int bdd) {}

where the first one returns the minimum assignment of the BDD. It is required by JavaNDD (will be public later).
The second toZero method is used in bdd vector, required by SRE.

Full Changelog: https://github.com/Augists/jdd/commits/111-modified