Wip ui redesign properties
Created by: mjourdan
Hi! Some more progress in implementing #356 (closed) design. Here come a bit more simple labeleditor, css tuning for the properties panel, a hint about the additional keywords, and some cleanup. There's no hurry to review ;)