added gmon.out to gitignore
Merge branch 'develop' of na62farmui1:/git/na62-farm into develop
Implemented naming of threads, but it doesn't work with vtune :-(
Merge branch 'develop' of na62farmui1:/git/na62-farm into develop