Safer bin/jenkins.sh

If someone runs bin/jenkins.sh without first setting $WORKSPACE,
don't cd to their home directory and start rampaging around.
Just use the current directory.