v2.0

Major release with new features:

• Stochastic logic-based reliability analysis (approximative alternative to BBD-based analysis)
• Several well-known and state-of-the-art importance measures
• BDDs class now termed BDDUtils

Now requires Java 11 or later and Gradle 6.6.1