Implement nn_symbol_info function

This is useful for two reasons:

* For language bindings to provide correct namespacing and type
  conversions of socket options
* To turn integer value into name (it's impossible without namespacing,
  because many symbols have same integer value)