WL#5217: Add explicit partition selection

Affects: Server-5.6   —   Status: Complete

To allow the user to only use a specific sets of partitions, i.e. explicit
pruning, the syntax should be extended with 'PARTITION(one or more
partitions)':

SELECT * FROM t1 PARTITION(p0,p1) WHERE ...;
DELETE FROM t1 PARTITION(p1,p4) WHERE ...;
INSERT INTO t1 PARTITION(p3) VALUES ...;
REPLACE INTO t1 PARTITION(p3) VALUES ...;
UPDATE t1 PARTITION(p1,p8) SET ... WHERE ...;
LOAD ... INTO TABLE t1 PARTITION (p3) ...


This worklog supersedes WL#2682.

This would decrease the impact of BUG#37252, allowing the user to avoid locking
non used partitions.

Requested in BUG#20279 (several customers).

Also asked about in the partitioning forum:
http://forums.mysql.com/read.php?106,387707,387707#msg-387707