replaced se's vision by specific test classes
no expanded VDRD.6 for inserted types
OK, VDRD.6 for expanded vs. non-expanded is useless since expanded classes can only insert / be inserted.

When a class is inserted, signature changes can be ignored since there is no dynamic linking.
no more errors in expanded tests
one test was removed (expanded VDRD.6)
fixed inlining tests
fixed warning
OMG I should be more careful sometimes
fixed test
use the same file format everywhere
Merge git.sv.gnu.org:/srv/git/liberty-eiffel
Merge branch 'master' of git.sv.gnu.org:/srv/git/liberty-eiffel
a few ET enhancements

* first attempt at having a time estimation (will need a few rounds before being displayed since we need to calculate a time average)
* history arrows
* commits kept and displayed in history
log.ref
fix syntax
fix more php warnings
indeting <?php is no good idea, as the whitespace before is interpreted as output - Rmk will get this by mail from cron
bugfix: stage names
prettier yet
Removing obsolete class