Create README.md

This file contains a description of the syntax of our DSL.