OspfRoutingProcess: fix redistribution of inter-area routes

[dhalperi]

Need to use the summarization filter from the source area,
not the destination area.

[batfish-bot]

This change is 

[codecov]

Codecov Report

Merging #6667 (9cce4d2) into master (7bbbec7) will increase coverage by 0.00%.
The diff coverage is 93.33%.

@@            Coverage Diff            @@
##             master    #6667   +/-   ##
=========================================
  Coverage     73.52%   73.52%           
  Complexity    36657    36657           
=========================================
  Files          2934     2934           
  Lines        147476   147486   +10     
  Branches      17776    17776           
=========================================
+ Hits         108425   108437   +12     
+ Misses        30515    30514    -1     
+ Partials       8536     8535    -1     

Impacted Files	Coverage Δ	Complexity Δ
...org/batfish/dataplane/ibdp/OspfRoutingProcess.java	88.60% <93.33%> (+0.67%)	165.00 <3.00> (+1.00)
...src/main/java/org/batfish/coordinator/PoolMgr.java	59.52% <0.00%> (-1.20%)	15.00% <0.00%> (-1.00%)

[dhalperi]

Reviewable status: 0 of 2 files reviewed, all discussions resolved

---

projects/batfish/src/main/java/org/batfish/dataplane/ibdp/OspfRoutingProcess.java, line 961 at r1 (raw file):

              return areaSummaryFilter.permits(r.getRoute().getNetwork());
            })
        // Overwrite area on the route before sending it out

FYI @corinaminer confirmed manually that the filter in dest area is not used

[arifogel]

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