Release 1.10.1: Infrastructure Updates

This release mostly updates or introduces internal code quality measures.
It also updates Z3 to the latest version and introduces an option to disable the inclusion of measurements in the returned circuits.

What's Changed

• 📝 Initialize Documentation on ReadTheDocs by @burgholzer in #98
• 🐛 Fix Editable Installations by @burgholzer in #100
• ✨ Add pre-commit configuration by @burgholzer in #101
• 🔧 Proper Versioning in Deploy CI by @burgholzer in #104
• 🔧 Add in-progress cancellation to CI workflows by @burgholzer in #108
• 🔧 Update CodeQL configuration by @burgholzer in #107
• ⬆️ Update Z3 from version 4.8.17 to 4.11.2 by @burgholzer in #109
• ✨ Optionally disable measurements by @burgholzer in #103

Full Changelog: v1.10.0...v1.10.1