README.md: add note on compilation
added 'eqc' projection

This is a pretty trivial projection and so one might as well add it.