Management tools for a Raspberry Pi Demonstration Cluster of the YaCy Grid - View it on GitHub