Infrastructure for managing large numbers of networked Raspberry Pi microcomputers