Remove redundant adhocracy_switch_revision_number

`adhocracy_switch_revision_number` is redundant with the default setting `update=true` of mr.developer and can therefore be removed.