Included feature and class definition into the syntax

The objects representing features and classes are not yet defined.
	modified:   ocaml/lexer.mll
	modified:   ocaml/parser.mly
	modified:   ocaml/support.ml
	modified:   ocaml/test.e
More syntax added, more operators added, exception handling streamlined, expression refactored

	modified:   ocaml/main.ml
	modified:   ocaml/parser.mly
	modified:   ocaml/support.ml
	modified:   ocaml/test.e
Removed trailing whitespace and tried to add local variables to syntax

Local variables require some rework because of local functions and procedures. Note
that a block of locals can be e.g.

    local
        a,b := aexp,bexp
        fun(a:A): B
            ensure
                Result = bexp
            end
        i,j:NATURAL, k:INTEGER

i.e. it might be the case that locals need an own syntax and should not be treated like a compound.

	modified:   ocaml/main.ml
	modified:   ocaml/parser.mly
	modified:   ocaml/support.ml
Reworked a lot of grammar rules to integrate quantified expressions and local features
into expressions

	modified:   ocaml/lexer.mll
	modified:   ocaml/parser.mly
	modified:   ocaml/support.ml
	modified:   ocaml/test.e
Improved grammar for feature body and removed ambiguities

The grammar rules for features had to be reworked because they created a serious
ambiguity. The previous rules allowed to define events as features without body.
This clashes with the requirement that local features (including events) should
be possible. E.g. if we have the following feature

   f(a:A)
       local
           i,j := 0,1
           lf(x:X)
               do ...

then it is not clear if the "do" starts the implementation of the local feature lf
or if the local feature lf is just a local event and the "do" starts the implementation
of the feature f. Therefore the resolution is to treat the "do" as the start of the
implementation of the local feature lf and in case that lf is an event it has to be written
as

   f(a:A)
       local
           i,j := 0,1
           lf(x:X)
               note event end
       do ...

In this case the "do" starts the implementation of the outer feature f.

	modified:   ocaml/lexer.mll
	modified:   ocaml/main.ml
	modified:   ocaml/parser.mly
	modified:   ocaml/support.ml
Added OO style feature calls "t.f(a)"

	modified:   ocaml/parser.mly
	modified:   ocaml/support.ml
	modified:   ocaml/test.e
Introduced argument parser to work with a list of *.e files or with a *.eml file

	new file:   library/kernel/any.e
	new file:   library/kernel/boolean.e
	new file:   library/kernel/kernel.eml
	new file:   ocaml/arguments.ml
	new file:   ocaml/arguments.mli
	modified:   ocaml/main.ml
	modified:   ocaml/support.ml
	modified:   ocaml/validate.ml
Entity lists refactored and constructed directly without expressions

	modified:   ocaml/parser.mly