Annotations on characteristics, data types.

We now support annotations on characteristics of properties, literals
and so on. At the same time support for broadcasting has been added so
that it is possible to annotate multiple axioms at once.
auto-save now saves current state.

Previously, the auto-save function only saved after a change happened.
Now it saves immediately also. An option has been added to prevent this.