better info
better info messages
try deleting old database files during upgrade: this gives a better compaction
disable auditing - stored revisions result in VERY LARGE database size
remove button for proof feature parameters
added a "misc" field to ProofFeature

The Misc field allows writing additional comments or information for proof feature instance (not proof feature definition, which has its own Description field). The Misc can be used at the moment if term selection is not adequate, or to mark additional parameters not supported programmatically.
bumped pp.project model versions to v1.0.0.11 (since the core PP model changed)
bumped pp.isabelle model version to v1.0.0.11 (since the core PP model changed)
bumped pp.zeves model version to v1.0.0.11 (since the core PP model changed)
cleanup
upped the model versions in .edit plugins as well
Merge branch 'feature-misc-field' into mark-features