adding file to be (potentially) processed into README at some point
Merge pull request #56 from runtimeverification/proposedREADME

adding file to be (potentially) processed into README at some point [DO NOT MERGE]