Add explanation of shutdown process to spray server docs

Documentation of how to shut down Spray HTTP server.

As discussed at https://groups.google.com/d/msgid/spray-user/AA478EF6-175B-4AB9-A489-0907DE97C491%40spray.io