Little tweak on gather-day.logs.sh.
Don't re-compress gz files (submitted by José Braga).
Delete uncompressed IMC.xml.
Avoid using (if configured) external diff on Git
Merge branch 'release/neptus-3.0.x' into release/neptus-3.1.x