smartos.org prefers https, fix bootstrap URL

ping @jclulow