Moved in handcrafted tests from the main repository

Have moved in the tests from the other repo. The results are known for three of the examples and its not known for the last one. I don't know how prism-tests will handle it when there is no properties file (no unknown-mp-1.nm.props).