NX-OS: fix ospf area range

[dhalperi]

We were incorrectly converting summary-address as an inter-area summary.

Fix #6794

[batfish-bot]

This change is 

[codecov]

Codecov Report

Merging #6805 (8affacd) into master (4b2cbfc) will increase coverage by 0.00%.
The diff coverage is 100.00%.

@@            Coverage Diff            @@
##             master    #6805   +/-   ##
=========================================
  Coverage     69.88%   69.89%           
- Complexity    36274    36285   +11     
=========================================
  Files          3031     3031           
  Lines        153528   153549   +21     
  Branches      18422    18427    +5     
=========================================
+ Hits         107298   107328   +30     
+ Misses        37581    37573    -8     
+ Partials       8649     8648    -1     

Impacted Files	Coverage Δ	Complexity Δ
...c/main/java/org/batfish/datamodel/PrefixRange.java	82.35% <100.00%> (+0.72%)	21.00 <1.00> (+1.00)
...mar/cisco_nxos/CiscoNxosControlPlaneExtractor.java	76.63% <100.00%> (ø)	1070.00 <0.00> (ø)
...resentation/cisco_nxos/CiscoNxosConfiguration.java	87.33% <100.00%> (+0.08%)	393.00 <5.00> (+3.00)
.../org/batfish/dataplane/rib/RouteAdvertisement.java	83.67% <0.00%> (-4.09%)	18.00% <0.00%> (-1.00%)
...java/org/batfish/dataplane/ibdp/VirtualRouter.java	90.42% <0.00%> (-0.31%)	210.00% <0.00%> (-1.00%)
...h/grammar/fortios/FortiosConfigurationBuilder.java	93.08% <0.00%> (-0.15%)	373.00% <0.00%> (+4.00%)	⬇️
...ain/java/org/batfish/symbolic/IngressLocation.java	65.78% <0.00%> (ø)	15.00% <0.00%> (ø%)
...ain/java/org/batfish/coordinator/WorkQueueMgr.java	71.51% <0.00%> (+0.58%)	91.00% <0.00%> (+1.00%)
...src/main/java/org/batfish/coordinator/WorkMgr.java	75.81% <0.00%> (+0.69%)	247.00% <0.00%> (+3.00%)
...src/main/java/org/batfish/coordinator/PoolMgr.java	59.52% <0.00%> (+4.76%)	15.00% <0.00%> (+2.00%)

[arifogel]

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