Fix: removed github plugin and server

1 job for MontiCore5 in 39 seconds (queued for 2 seconds)