lines of code/lines of proof

[briangmilnes]

The OCaml let/val style of keywords makes it a bit hard to
lines of code/lines of spec/lines of proof count the code
base.

The obvious (and correct) way to build this would be
with reflection. Anyone have any known bits? An
iterator through the files/through the declarations/an
actual counter?

A nice tool for a 1 pg add on to many papers.