Hora OS is an operating system built to administer a network of computers through a decentralized protocol