Add readme

The readme contains a short introduction and a list of criteria
the language must adhere to.