Made destroy callable from the rest of the system.
Fixed a concurrency error in ServerSocket.cs

An issue with concurrent handling of events, and adding to the events
list was fixed.
Better layout in the GUI