add preference for launching the jenkins url

Change-Id: I9e91292dcaa8ba6fed0561279f55eee3e7b81806