chore(master): release 0.15.0

[github-actions]

🤖 I have created a release beep boop

0.15.0 (2023-08-23)

Features

• partition-view: Add a selector to show (tokens, nicks, or anon IDs) (#540) (58b3644), closes #528
• teacher-tab: Add some inline documentation to the teacher tab (651456a)
• teacher-tab: Allow name input on teacher token creation (c341fca)
• teacher-tab: Allow partial CSV export (d5d82fc)
• teacher-tab: Display last synced student's draft (≠ graded code) (#548) (48583ba), closes #527
• teacher-tab: Highlight the "apply" button on unsaved changes (b20ce4e)
• js_utils: Add HTMLElement.title support (3a7c42e)
• ui: Add feedback button with internationalized tooltip (6b7b226), closes #525
• ui: better string input dialog (03669eb)

Bug Fixes

• i18n: fix escaping issue in i18n (e060517)
• partition-view: Use Ctrl-click or ⌘-click (instead of middle-click) (#516) (a6e4c5e), closes #500
• teacher-tab: show different status for open and closed assigned exercises (8c2c639)
• ui: Update fr translation (1b88a18)
• ui: Use proper URL fragments ("#tab=…", not "#tab%3D…") (#557) (7f2b6cf), closes #539
• html: Fix process_html_file w.r.t. base_url (84bc393)
• vuln: percent-decode before path-splitting (#560) (1a0c2ef)

Code Refactoring

• partition-view: Move adhoc CSS code to learnocaml_partition_view.css (8d86f01)

CI/CD

• *.yml: Use actions/checkout@v3 (6cb8165)
• docker: Fix build-args syntax (docker/build-push-action@v4) (046087d)
• docker: Fix GHA input name: s/build_args/build-args/ (a31ff2b)
• docker: Replace LABEL Dockerfile commands with labels: (GHA) (#551) (ce8c006), closes #545
• docker: Use docker/build-push-action@v4 (#544) (69006f8)
• macos: Fix brew upgrade failure (a99c61b)
• macos: Fix brew upgrade failure, bis (#518) (68221ba)
• macos: Fix brew upgrade failure, ter (#536) (af83c70)
• macos: Run the macOS workflow as well in the weekly CI build (84b7863)

Documentation

• Fix date in README.md and Copyright headers (#517) (04bb39f)
• Refactor ISSUE_TEMPLATEs to use GitHub issue forms (#509) (7205c39)

---

This PR was generated with Release Please. See documentation; then manually edited.

[erikmd]

TODO before merging

Replace

ui: teacher tab: Display last synced student's draft (≠ graded code) (#548) (48583ba)

with

ui: teacher tab: Display last synced student's draft (≠ graded code) (#548) (48583ba), closes #527

↑

ui: teacher tab: Display last synced student's draft (≠ graded code) (https://github.com/ocaml-sf/learn-ocaml/issues/548) ([48583ba](https://github.com/ocaml-sf/learn-ocaml/commit/48583ba4d1376ad006227d7b5ee1b9cfaf9ad8f7)), closes [#527](https://github.com/ocaml-sf/learn-ocaml/issues/527)

[github-actions]

🤖 Release is at https://github.com/ocaml-sf/learn-ocaml/releases/tag/v0.15.0 🌻