docs: move docs into docs/

deviations.md, markdown-divergences.md and notice.md move into docs/,
and notice.md becomes credits.md. The divergences generator writes to
the new path, and every reference follows.