Move <optional> into experimental/ directory to be consistent with [general.namespaces].

Fixes #7.
Add two pieces of N3672 that I missed in the first draft,
a definition, and the list of headers.

Fixes #10.