Model_NoFactory -- In this version, NewsReaderUI.cs does not include a
factory method, build.bat builds NewsReaderUI.dll with no factory
method, and all commands use the new /mp switch but no factory method
argument.

In this version the factory method is in a separate Factory.cs file.
build_factory.bat and mpv_contract_factory.txt show how to use the
factory method, if that is desired.

-------------

NewsReader sample from section 5.4, visualized by mpv as in section
6.2, analyzed using composition as in 7.5

To compile the sample, first run 

> build

Then to display the FSM as in fig. 6.4, run

> mpv @mpv_contract.txt

To display the FSM of a forbidden scenario as in fig. 7.18

> mpv @mpv_forbidden.txt

To display the results of composing the contract model with the
forbidden scenario as in fig. 7.19

> mpv @mpv_forbidden_composition.txt



