Add user-agent to RequestOptions

It would be useful to know the 'user-agent' that is sending a request so that the server can react in different ways. For instance:

• To log differently.
• To give different error messages.

For instance, if the user is connecting via gremlin console then error messages can include gremlin console specific help.