A set of tools for turning a Raspberry Pi into a WebServer