Add barebones README

README.md

+# Modeling and Verification of Lamport's Distributed Mutual Exclusion Algorithm
+
+TODO: add a useful description
+
+## Execution
+
+To run, use this one-liner:
+
+```maude
+maude test-node-preds.maude
+```