Minimal changes to support windows

[dalito]

Only one test failed on Windows due to a file path comparison that was not written to work cross platform.

This PR:

• fixes the file-comparison to work also on Windows
• adds running on windows-latest to the main CI file.
• deploy docs only on merging PRs to main
• change to new enough mike version (the issues that required a certain commit have been solved)

[dalito]

I cannot re-run the failed job here. It failed due to github-api rate limit.
...either I lack permissions in this repo or re-starting runs requires workflow_dispatch which is only added in this PR.

[dalito]

@sujaypatil96 Your PR #225 was merged in the meantime. I rebased and resolved the conflicts here. So it is ready for review.