Add Symbolic Strategy Functionality with SLUGS

This change requires we change the extension of the BDD output from JTLV to .add, as it is actually an ADD instead of BDD. The .add file from JTLV and .bdd file from SLUGS are loaded differently in bdd.py.

I have also updated the commit of SLUGS.