misc: Remove accidentally commited file (#1871)

*Short paragraph summarizing the changes*

---

Thank you for submitting a PR to xDSL!

Make sure to follow the steps in the checklist below *before* you submit
this PR!

## Checklist before you submit this PR:

 - [ ] If your PR is not ready for review, open it as a draft instead.
- [ ] Make sure your PR title follows the
[guidelines](https://github.com/xdslproject/xdsl/wiki/Tags-for-commit-messages-and-PR-titles)
 - [ ] Add some tags to categorize the PR, if able.
- [ ] Request review from people you *know* have to sign off on these
changes, you can leave it blank for now if you are not sure or don't
have the rights to request reviews.
- [ ] Tag people you wish to get feedback from (using @\<username>),
they will then sort out the reviewers.
 - [ ] Assign this PR to yourself, if able.
- [ ] Delete this checklist and the line above it, only after you've
completed all previous tasks.