Merge branch 'artifact-evaluation' of...

Merge branch 'artifact-evaluation' of git-st.inf.tu-dresden.de:stgroup/trainbenchmark into artifact-evaluation

docker/bashrc

@@ -12,4 +12,6 @@ alias doc_advanced="bash /trainbenchmark/docs/advanced"
 alias frogsay="/usr/games/cowsay -f /trainbenchmark/docker/frog.cow"
 alias frogsay_tip="shuf -n 1 /trainbenchmark/docker/tips | frogsay"
 
+alias ls='ls --color=auto -p'
+
 doc_motd