general cleanup of warnings
o Generate event listings that can be added to a document using \input{ ... }
o The label of proofs can now contain \ref{ ... } which makes the display more appropriate for the reader.
Fixed compiler warnings.
removed lots of commented lines in train-station-ref.tex and adjusted the test case to ignore line numbers
o The fine schedule is now part of the refinement sequence of events
o the train station refinement example uses a fine schedule