raspi-config-wng Configuration tool for the Raspberry Pi especially for the WiNoGate Devices at WindNODE Project