pybatfish installation instruction via pypi

[ratulm]

No description provided.

[batfish-bot]

This change is 

[codecov]

Codecov Report

Merging #5610 into master will decrease coverage by 0.01%.
The diff coverage is n/a.

@@             Coverage Diff              @@
##             master    #5610      +/-   ##
============================================
- Coverage     73.74%   73.73%   -0.02%     
+ Complexity    32835    32828       -7     
============================================
  Files          2666     2666              
  Lines        131438   131438              
  Branches      15681    15681              
============================================
- Hits          96932    96916      -16     
- Misses        26843    26856      +13     
- Partials       7663     7666       +3

Impacted Files	Coverage Δ	Complexity Δ
...src/main/java/org/batfish/coordinator/PoolMgr.java	59.55% <0%> (-5.62%)	13% <0%> (-3%)
...ain/java/org/batfish/datamodel/EvpnType3Route.java	85.14% <0%> (-1%)	30% <0%> (-1%)
...ain/java/org/batfish/coordinator/WorkQueueMgr.java	70.84% <0%> (-0.59%)	90% <0%> (-1%)
...batfish/src/main/java/org/batfish/main/Driver.java	48.19% <0%> (-0.33%)	28% <0%> (ø)
...src/main/java/org/batfish/coordinator/WorkMgr.java	69.72% <0%> (-0.27%)	282% <0%> (-1%)
...tfish/representation/cisco/CiscoConfiguration.java	86.09% <0%> (-0.12%)	548% <0%> (-1%)

[dhalperi]

Reviewed 1 of 1 files at r2.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @sfraint)