Merge branch 't/misc_cleanups'

Merge branch 't/misc_cleanups'

Was cooking since 2013-08-04.

	3f97ae buffer_tree: Improve documentation of btr_no_parent().
	fb9209 Avoid gcc warning on FreeBSD.
	778af7 command.c: Avoid declaration after statement.
	61c957 extract_v4_addr(): Don't return a structure.
	1d7937 command.c: Remove pointless initialization.
	c17ede crypt.c: Remove condition which is always true.
	a12ecb ipc: Close proc fd.
	01d37b Make log functions static.
	0ba631 score: Improve documentation of score_update().
	d6cf71 GIT-VERSION-GEN: Don't include output of git update-index.