Convert scripts and platform to linux

[seanbudd]

ubuntu is more reliable than windows, and easier to script for in github actions.
We need to update scripts to use linux rather than windows batch/powershell, and then update github actions to match,

[seanbudd]

This will be partly done in #9875