dox, editor: Rebuilt doxygen, added simple online edit-run playground