Add Chai Things to plugins.
Merge branch 'chai-things' of git://github.com/RubenVerborgh/chai-docs into RubenVerborgh-chai-things

* 'chai-things' of git://github.com/RubenVerborgh/chai-docs:
  Add Chai Things to plugins.

Conflicts:
	plugins.js