slurm: instead of redirection, just use a symlink
slurm: instead of redirection, just use a symlink

This just symlinks the slurm-log to a more readable name.
We don't use an actual rename, because we cannot know when
SLURM decides to write the log file.


Former-commit-id: a290d12d51868a98aee5a64e66fa15cc53f9b8cd
Former-commit-id: 02ef98e5d670d7de510f8ea674381eb7203e5c77 [formerly b335c43f2037b548f130ea533961b2a5c09a4abe] [formerly 29e610c83d55e59208f7c7932a600e31bb2a0a09 [formerly e98730bd72b84bee3d9ca9148e10ff227cbadae4]]
Former-commit-id: 4793a4d94c3c99518166fea7d093802f01e7b535 [formerly c2f1d1ae8e27aebcbbd92f921719e8020914ebe1]
Former-commit-id: afd3ba618d00c26100a24640355299ac9b924707
PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild