Added support for colors#2

sefanja wants to merge 2 commits intoksluckow:masterksluckow/juppaal:masterfrom

sefanja:feature/colorsefanja/juppaal:feature/colorCopy head branch name to clipboard