CMakeLists.txt

Since we have no longer an dependency on RTSC, we fully remove the
support for XML files written by RTSC. Therefore, the our OIL Parser was
extended to recognize several no standard constructs:

- Task Groups (Task in RTSC Nomenclature, OSEK Tasks are SubTasks)

  TASKGROUP taskname {
     PROMISE = SERIALIZED;
  }

  TASK subtaskname {
    ...
    TASKGROUP = taskname;
  };

- CheckedObjects
  We can declare data objects that are checked by a concurrently running
  checker core.

  CHECKEDOBJECT name {
      TYPEDEF = mytype;
      HEADER  = "foo/bar/baz.h";
      CHECKFUNCTION = datacheck;
  };

Change-Id: I6dce83cfa8266cc802d9a83d8432680fb905bc3d