minor mod to banner to reflect what we see in the config files
minor mod to banner to reflect what we see in the config files

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