Travis: Use `--no-check-certificate` to download ArangoDB