CI for README

The README file should be tested in the CI using doxec itself.