javabdd dependency as managed maven dependency

repackaged Javabdd library as maven package which
is now automatically imported from maven

this avoids having to copy the jar file around in
every project
bump up version number
fix import of CIgnore from xml