compact lists

create compact representation of multiple axioms in one cell, currently
read-only
editor for summary rows

add an editor for summary row content in a new window
sort entries

Always sort entries for a summary row
improve editor title

re-use section name for editor title
bug fix

always refresh component after a delete, otherwise the editor the
secondary window does not reflect deletes
clean up rendering

unify rendering code for summary rows and normal annotations
Merge branch 'compact-lists'