Made User-Agent configurable from the command line

I suspect that some issues in the field might be related to the value of the User-Agent header. Better have it configurable.