Fix problem with jenkins known_hosts url.
Fix problem with jenkins known_hosts url.

Change-Id: Ib6af08a6af71a6e5853d958a12f63c381eafa039

open-switch/infra_puppet-jenkins,open-switch/infra_puppet-jenkins