Improve examples/makefile to show full path in error messages
Fix a message raised from pragma Assert
Fix Ada.Streams.Stream_IO to be exception-safe
Improve Ada.Streams.Stream_IO (reformat)