GUI - reduce size of session id shown on boot

Author: samaaron

app/server/sonicpi/lib/sonicpi/spider.rb

@@ -85,7 +85,7 @@ def initialize(hostname, port, msg_queue, max_concurrent_synths, user_methods)
         end
       end
       __info "Welcome to Sonic Pi"
-      __info "Session #{@session_id}"
+      __info "Session #{@session_id[0..7]}"
       date = Time.now
       __info "#{date.strftime("%A")} #{date.day.ordinalize} #{date.strftime("%B, %Y")}"
       __info "%02d:%02d, %s" % [date.hour, date.min, date.zone]