Turkey-Syria-Earthquakes SeisSol setup and scripts associated with the 2023 Turkey–Syria earthquake sequence