-overlay-all behaves consistently on different OSs

• The option -overlay-all has been redefined to have a consistent behaviour on different OSs.
• Cosmetic changes to the cleaning of processed files: removing head tab spaces.

(Credit: Otello Roscioni)