[SPARK-12218] Fixes ORC conjunction predicate push down

[liancheng]

This PR is a follow-up of PR #10362.

Two major changes:

1. The fix introduced in [SPARK-12218] [SQL] Invalid splitting of nested AND expressions in Data Source filter API #10362 is OK for Parquet, but may disable ORC PPD in many cases

PR #10362 stops converting an AND predicate if any branch is inconvertible. On the other hand, OrcFilters combines all filters into a single big conjunction first and then tries to convert it into ORC SearchArgument. This means, if any filter is inconvertible, no filters can be pushed down. This PR fixes this issue by finding out all convertible filters first before doing the actual conversion.

The reason behind the current implementation is mostly due to the limitation of ORC SearchArgument builder, which is documented in this PR in detail.
2. Copied the AND predicate fix for ORC from #10362 to avoid merge conflict.

Same as #10362, this PR targets master (2.0.0-SNAPSHOT), branch-1.6, and branch-1.5.

[SparkQA]

Test build #48001 has finished for PR 10377 at commit 1148608.

• This patch passes all tests.
• This patch merges cleanly.
• This patch adds no public classes.

[SparkQA]

Test build #48005 has finished for PR 10377 at commit 88ad9a3.

• This patch passes all tests.
• This patch merges cleanly.
• This patch adds no public classes.

[SparkQA]

Test build #48006 has finished for PR 10377 at commit fe1ab88.

• This patch passes all tests.
• This patch merges cleanly.
• This patch adds no public classes.

[yhuai]

sorry.. My commit introduced a conflict...

[liancheng]

@yhuai Nvm, rebased.

[SparkQA]

Test build #48042 has finished for PR 10377 at commit e5913d2.

• This patch passes all tests.
• This patch merges cleanly.
• This patch adds no public classes.

[yhuai]

Do we need to mention for And Or Not? createFilter is dealing with the top level filters (they will be connected by AND), right? I think it is important to emphasize that createFilter is for top level filters.

[liancheng]

buildSearchArgument is recursive, so nested And/Or/Not within top level filters are also covered.

[SparkQA]

Test build #48270 has finished for PR 10377 at commit f877ffa.

• This patch passes all tests.
• This patch merges cleanly.
• This patch adds no public classes.

[SparkQA]

Test build #48344 has finished for PR 10377 at commit 6c59503.

• This patch passes all tests.
• This patch merges cleanly.
• This patch adds no public classes.

[yhuai]

LGTM. Merging to master.

[liancheng]

Thanks for the review!