Fixing bug #3136.

Second-order pattern-matching now respect variable abstraction order.
Adding a test-suite for second-order matching order and indexes.
Cleaning code in Pptactic.

Parametric printers are now using a record to ease the error reporting when
modificating code. Further improvement may include the use of the object
layer of OCaml, which would fit in this particular context.