Implement -ddump-static-binds.

It shows top-level bindings produced for static values.
Write user manual section for the StaticValues extension.
Fix T4437 so it succeeds with the StaticValues extension.
Implement tests of the StaticValues extension.