Directory Listing
Updated tests to use the new default for total order on real numbers.
Added an example for precompiling EiffelBase with new replication rules.