move intern headers into source directory
improve editor ui
Merge branch 'propertyzeug' of https://github.com/hpicgs/libzeug into propertyzeug