More work on parallel eiffeltest. Getting serious about it with a massive code import from original eiffeltest.