Proper build server integration, CI fixes
After this, other servers should actually pull from the build server, which servers a binary cache (similar to a package repository in other systems).
Also adds formatting check to CI, and when the branch is not main it evaluates the hosts but doesn't build them.