Prebuilt sysroot from the CI

[Andy-Python-Programmer]

We could probably build the sysroot in the CI and fetch it if we dont want to build the sysroot locally. It should not be that expensive as in time since we could cache the build using some github ci extension :)