Append the domain name to the user id

On some installations, it may be required to use the user@domain format for the Jenkins user id (for example when a subversion server uses this username format); this commit add a checkbox to enable this username format.