Fixed: 100% cpu if Shell is enabled on Raspberry Pi (and possible other ARM architectures)
Fixed: Some fixes were missing in the Server code
Added: Code to kill shell processes if DomotiGa exits (will become active when Shell is converted to Plugin)