Optional Minor Edit by Default

The concept of this request is to add "Default Minor Edit" option that the admin can set in the Configuration Manager.
This means that EnforceSummary plugin implements both tips of [Summary Enforcement](https://www.dokuwiki.org/tips:summary_enforcement) and [Auto Minor](https://www.dokuwiki.org/tips:autominor).


We make an annual release of a set of pages following several small edits continue by next major release. Summary enforcement is useful for such small edits to know what changed in the page. Auto Minor might be convenient for intensive update period that users frequently update pages prior to official release. Therefore I merged both into EnforceSummary plugin with Auto Minor option default off.