[ref_impl_eiffel] [717] Remove a couple of obsolete files that have somehow been left behind in BRANCHES/specialisation.

Revision: 717
Author: peter.gummer

Log Message: