added spec (fileUse.ml->spec.ml, fileDomain.ml->specDomain.ml)
created mainspec.ml, ispec.ml can now be used in goblint and as a REPL