partial commit
Merge branch 'master' of https://github.com/JuliaSoft/BeeDeeDee.git
Added javabdd as ivy dependency and pom publishing