Renaming file The Coral Language Specification.tex (CLS) to Specification.tex