Added more complete logfiles
added packages location to logs and output
Added option to leave directories uncleansed and help
Updated .PHONY
Merge pull request #6 from CosyVerif/master

Merging last updates