server.rb: use human readable names for socket options

There is no need in the superfluous comment, since we can access options
by means of symbols.