working for package
Merge branch 'pro-pkg' into source-and-logictree
add hazardlib as deps and fix descriptions