Update README.md

Full command list for running with LTLMoP