Create README.md

Explaining the purpose of this repository.
Link to CADE 2009