Deleting whitespaces and tabs. Reorginizing the text flow. Removing Guelfi's diagrams.
newline EOF in spec
cleaning report part, updating report