regular activate=defer -- may debug remotely, no need to run under netbeans;

avoid fractional font metrics, which produces bad antialiasing with reletively new versions of jedit and java;

Prover: keep command_change/document_change event buses here, not in ProofDocument, Command, State, Plugin; TheoryView: simplified change_receiver, only for local purposes (via command_change); Accumulator: message requires explicit prover context for now;

tuned;