Merge pull request #47 from sofdem/develop

test and debug FastImpliesEq and FastIFFEq
updated pom.xml files (version 0.39-SNAPSHOT)
add fromEntropy debug
Merge branch 'develop' into test
Bug fix in getManageableVMs() and getVMActions(Set<VM>)
update btpsl pom
cleaned exampleTest
Merge branch 'develop' into test
transpose matrices in TaskScheduler