Add a quick build for windows in ci pipeline
The actual pipeline includes a quick build using hadrian a ghci only for linux. It caches quickly compiler errors and other static errors. However there is a non trivial amount of code only compiled for windows systems and that code is not covered with the quick build. As windows ci load is already high we could trigger the quick build under user explicit request, using a tag in the mr or a special pattern in the branch name (windows-*?)
Add a quick build using hadrian and ghci for windows, only triggered explicitly by the user.