set user agent

Sometimes you may need to set user agent with curl. Here is how to do it in Linux.