Converted Parser to use AutoVivifyingBiMap.
Fix missing copyright on AutoVivifyingBiMap.
Added comment explaining why AutoVivifyingBiMap has the interface that it does.
Merge pull request #380 from kframework/newparser-autovivification

Converted Parser to use AutoVivifyingBiMap.