feature/doccleanup

This PR cleans up most of the documentation and brings it closer in line with reality. In particular, all examples are now stored as separate files, which are run either as part of the normal test suite or (for tests that need to download external content from W3C/IETF) as a special module integrationTestExamples.