moved non-main class to auxiliary
forgot to commit this file
fixed example5
unfrozen
debug & bugfix
manifest string creation now uses a standard Eiffel method (from_external_sized_copy)