docs.it4i/karolina - Replace PBS with Slurm

docs.it4i/karolina/introduction.md

@@ -8,7 +8,7 @@ The cluster runs with an operating system compatible with the Red Hat [Linux fam
 
 The user data shared file system and job data shared file-system are available to users.
 
-The [PBS Professional Open Source Project][b] workload manager provides [computing resources allocations and job execution][3].
+The [Slurm][b] workload manager provides [computing resources allocations and job execution][3].
 
 Read more on how to [apply for resources][4], [obtain login credentials][5] and [access the cluster][6].
 
@@ -20,4 +20,4 @@ Read more on how to [apply for resources][4], [obtain login credentials][5] and
 [6]: ../general/shell-and-data-access.md
 
 [a]: http://upload.wikimedia.org/wikipedia/commons/1/1b/Linux_Distribution_Timeline.svg
-[b]: https://www.pbspro.org/
+[b]: https://slurm.schedmd.com/