Agda-2.3.2.2: examples/Termination/README

TODO: Hook up the files in this directory to the test suite.