Demonstrate new ThmSetData facilities to store/label EVAL thms for parsing

For theorems saved or stored, the [cakeml/parsing] notation on the
end of the theorem name works.  For definitions, explicit calls to
store_attribute are required.  Then it's possible to get the theorems
stored with a call to

    ThmSetData.all_data "cakeml/parsing"