Admin documentation

• How the system works: the gateway, the network, the netboot root and what runs on each host.

• How to maintain it: accounts, the bootloader EEPROM, hosts that need care, and checking a host.

• How to set up sites and devices: each board on its Raspberry Pi, the check, and the packages.