unfinished: profile descriptions
Fixed sphinx documentation
Fixed init scripts to wait for shutdown on restart
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 #292 from dswd/fix-sphinx

Fixed sphinx documentation
Merge pull request #297 from t-gerhard/more_descriptions

Added profile descriptions
Merge pull request #293 from dswd/fix-init-scripts

Fixed init scripts to wait for shutdown on restart
Released hostmanager 3.1
Merge pull request #298 from dswd/hostmanager-3.1

Released hostmanager 3.1
Fixed server stopping and fixed a bug in link measurements
Added repeated host error mails
Merge pull request #300 from dswd/repeated-error-mails

Added repeated host error mails
added description for external networks
fixed an error
added descriptions to organization, site and host in backend
Merge branch 'master' of https://github.com/GLab/ToMaTo into more_descriptions