Merge pull request #2 from oligot/ecf

Use Gobo FreeELKS version when GOBO_EIFFEL is ge
Merge remote-tracking branch 'upstream/master'
Merge branch 'master' into ecf
[Fix] ecf name consistency

- safe - fully voidsafe
- confident - mix voidsafe/voidunsafe
- <empty> - voidunsafe
Merge remote-tracking branch 'mirror/master'
Merge remote-tracking branch 'upstream/master' into ecf
Fixed issue #6 (reported on github by Olivier Ligot).
Updated the way file_rules are processed so that it works like in EiffelStudio.
Added feature `first_non_override_overridden_class' to class ET_NAMED_CLASS.
Added feature `base_classes_there_exists' to class ET_BASE_TYPE_LIST.
Added feature ET_CLASS.formal_parameter_count.
Fixed feature `is_numeric'.
Made it possible to compile some ISE libraries.
Merge branch 'master' into dev
authority has a precondition we must check instead of checking for Void.
Fix typo.
Overflow situations not detected/handled correctly. I.e. things like 7
weeks of seconds would not work properly. With arithmetic in 64 bits
we avoid such problems for a long time.
Fixed bug: `reset_absolute_pathname' should be a procedure.
Merge remote-tracking branch 'pgcrism/ecf' into ecf
Merge branch 'ecf' into epm