Move WD Taclet options out of key.core.

[wadoon]

Description

The Taclet options of WD are currently defined in key.core in the file optionsDeclaration.key.

For the sake of modularization, they should move to wdHeader.key in key.core.wd.

[wadoon]

There are also traces in TermBuilder from WD.