Include diff options in the git-log manpage