Merge branch 'windows-ci' into 'master'

Add Windows CI

See merge request !436
3 jobs for master in 9 minutes and 57 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #101656
linux-x64

00:09:26

passed #101657
linux-x86

00:09:55

passed #101658
x64 windows
windows-x64

00:08:05