Renaming Specification.tex to CoralSpecification.tex
Updating CLS Preface

Relates to #1.