Added a shortcut to launch jenkins on the command line