Fix setting REPOS_SKIP_CHECKS when provisioner.json is used
Merge pull request #1 from vuntz/external-smt

Fix setting REPOS_SKIP_CHECKS when provisioner.json isn't used