Renaming of CASM

All CASM sources and binaries will follow now a renaming to *The SEA Language".