1.5 13-09-2023: Version 3.3 of the Isabelle ITL proof library

• Fixes for Isabelle 2023.
• Ported first and monitor operator definitions and lemmas from the ITL v2.x series.