Add doc page for capture checking.

Add doc page that explains what capture checking is, emphasizing that
it is still a research project in a separate branch.

Author: odersky