delete checked in jenkins yaml override
Allow the repo used to be configurable

As I move to testing havana, it is convenient to
allow the repo to be either updates or propsed.

This change adds it as a parameter that can be set
via jenkins.