configure: do not hard-code jenkins user

Replace 'jenkins' user by $SUDO_USER which is a variable that is already
used.