git: Ignore `notmuch-shared'