EIGRP distribute lists: improve filtering

[progwriter]

Filter routes that we are re-propagating in addition to ones we are redistributing.

Fixes #4392

[batfish-bot]

This change is 

[codecov]

Codecov Report

Merging #4434 into master will increase coverage by 0.01%.
The diff coverage is 100%.

@@             Coverage Diff              @@
##             master    #4434      +/-   ##
============================================
+ Coverage     75.15%   75.16%   +0.01%     
- Complexity    26633    26640       +7     
============================================
  Files          2154     2154              
  Lines        106185   106204      +19     
  Branches      12828    12829       +1     
============================================
+ Hits          79807    79832      +25     
+ Misses        20222    20218       -4     
+ Partials       6156     6154       -2

Impacted Files	Coverage Δ	Complexity Δ
...rg/batfish/dataplane/ibdp/EigrpRoutingProcess.java	93.51% <100%> (+0.5%)	70 <6> (+5)	⬆️
...col/src/main/java/org/batfish/role/InferRoles.java	92.33% <0%> (-0.37%)	69% <0%> (-1%)
...tfish/representation/cisco/CiscoConfiguration.java	84.52% <0%> (-0.13%)	523% <0%> (-1%)
...src/main/java/org/batfish/coordinator/WorkMgr.java	69.38% <0%> (+0.27%)	278% <0%> (+1%)	⬆️
...ain/java/org/batfish/coordinator/WorkQueueMgr.java	71.42% <0%> (+0.58%)	91% <0%> (+1%)	⬆️
...src/main/java/org/batfish/coordinator/PoolMgr.java	64.04% <0%> (+4.49%)	15% <0%> (+2%)	⬆️

[haverma]

Reviewed 5 of 5 files at r1.
Reviewable status: complete! all files reviewed, all discussions resolved