sphinx docs, v3

[David Bremner]

Small changes to notmuch-search-terms synopsis due to mark, and I made
one commit message more formal, because Tomi is a stickler for that
kind of thing ;).