Depromote optional-tests #3109

Optional tests are currently the tests of symbolic execution and proof references, required by KeY4clipse.

Before: Optional tests were always executed on pushes on main and pull-requests.

With this PR: Optional tests are only executed every 10 days on the main branch or on manually demand.