pipeline.sh: combine multiple fast maven steps (#3049)
pipeline.sh: combine multiple fast maven steps (#3049)

* pipeline.sh: combine multiple fast maven steps

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