Merge branch 'get-frama-c-add-wsl2-workaround' into 'master'

Add WSL2 workaround to 'Get Frama-C' page

See merge request !139
2 jobs for master in 2 minutes and 34 seconds (queued for 9 seconds)