Add option of user_agent in user-config.py

It will use a format string and people can change it

Change-Id: If1bfcbb62e0bf126abc2b5847d03e7e004c7bfe4
Merge "Add option of user_agent in user-config.py"