QCEC 2.0 Release Candidate 5

This release marks the addition of the first equivalence checker not based on decision diagrams to QCEC: the ZX checker.
It tries to use the rules of the ZX-Calculus to reduce the ZX-Diagram corresponding to the circuit $G^{\prime -1}\cdot G$ to the identity diagram.
Performance-wise, it represent a complementary alternative to all existing checkers and is employed per default when invoking QCEC.

Furthermore, this release makes qiskit-terra a project dependency (in order to ease integration) and provides easy configuration files for CLion users.

What's Changed

• ✨ Equivalence Checking with the ZX-Calculus by @pehamTom in #73 (+fixes in #81 and #82)
• 🔧🐍 Add qiskit-terra to project dependencies by @burgholzer in #79
• 🚸🔧 Easy CLion configuration by @burgholzer in #78

New Contributors

• @pehamTom made their first contribution in #73

Full Changelog: v2.0.0-rc4...v2.0.0-rc5