move Taclet options of WD from key.core to key.core.wd

[wadoon]

Closes #3740 by moving the remaining option declarations of WD from key.core to key.core.wd. As these files were loaded by classpath and checked in WdProfile:

        final URL wdDotKey =
            KeYResourceManager.getManager().getResourceFile(Proof.class, "rules/wd.key");

        RuleSource tacletBaseWd = RuleSourceFactory.initRuleFile(
            Objects.requireNonNull(wdDotKey,
                "Could not find rule file 'rules/wd.key' in classpath"));

unit-tests should spot mistakes.

Related Issue

This pull request resolves #3740.