Merge branch 't/doc'

Simple enough and cooking since 2013-05-05.

	e82be0 manual: Add a new paragraph for installing dependencies.
	1d6f5f manual: Add missing references of two optional packages.
	4a6061 check_wav.c: Fix documentation of check_wav_post_select().
	f9c625 Add two missing Copyright headers and file annotations.
	16af9d Add documentation of public functions in check_wav.c.

diff --cc web/manual.m4
Simple merge