eiffeltest timeboxing WIP: without timeout, it works at last.
eiffeltest-ng timeboxing: done.
bugfix
bugfix