Adding a build badge from our ci (and the shame of it being red atm)