Update and rename README.md to ide.tex