Cleanup message model: add info fatality level.  Add informfileoutdated and some use of completed flag.
Cleanup message model: add info fatality level.  Add informfileoutdated and some use of completed flag.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle