PROOF integration with IgProf performance profiler and better log files worker-side filtering

Harmonized handling of "additional logs" per worker with a visible tag. The mechanism previously used for Valgrind only has been generalized.

Also tested with Valgrind and still works nicely.