Jenkins temporary directories support

When checking sullied working directory, ignore @tmp directories, which Jenkins creates and uses as temporary directories for it operation.