pothos-gui: added properties + docs to panel