SW-150. Added functionality to stop web server.
A button in header menu was added to stop the server. Also there was a
small bug when you were using Google Chrome in header menu, which was
fixed.