Collect modality files in Modalities/, close #613.
Also split up accessibility and examples into their own files.
Merge pull request #621 from mikeshulman/collect-modalities

Collect modality files in Modalities/, close #613.
remove a spurious dependency from Open.v
Merge pull request #624 from mikeshulman/opendep

remove a spurious dependency from Open.v