Simpler getting started (#3844)
Simpler getting started (#3844)

* Simpler getting started

* Update README.md

batfish/batfish,intentionet/batfish,intentionet/batfish,arifogel/batfish,batfish/batfish,intentionet/batfish,dhalperi/batfish,batfish/batfish,dhalperi/batfish,arifogel/batfish,intentionet/batfish,arifogel/batfish,intentionet/batfish,dhalperi/batfish