oops :-(
fixed exports
oops bad protocol: internal serialized file is not json but php format
now displaying the full stage and substages name; also restoring the stage name at substage ending; useful because of the test ordering (substages are executed before enclosing stages)
Small changes
Merge git.sv.gnu.org:/srv/git/liberty-eiffel
wrappers-generator: proper exporting; solving enum values naming bug