Refactor ltlmop_client code into a module in pragbot. Ltlmop_test_client
now runs ltlmopclient code and looks for user input.