unfinished: profile descriptions
profile description now available in editor. every choiceelement can now accept infobox contents
changed label of profile in editor to a more intuitive name (performance profile)
simplified code
added more details to in-editor profile info
Merge branch 'master' of ssh://github.com/GLab/ToMaTo into more_descriptions
Merge pull request #297 from t-gerhard/more_descriptions

Added profile descriptions