proof-sizes.awk missing "Proposition"

[HazardousPeach]

Basically exactly the title. I've had to add Proposition to my own database when messing with compcert, maybe you don't need it here.

[HazardousPeach]

Oh yeah, this is on the proof-alytics branch