Support Myria backends where the REST server uses HTTPS

with the `--ssl` and `--no-ssl` flags. Defaults to `True`, as Myria's REST API now uses HTTPS.