Parameterized coinduction (Paco)

Aggregator module re-exporting the vendored parameterized-coinduction library: the parameterized least fixed point plfp and its accumulation principle plfp_acc together with the supporting tactics (PacoTactics) and notations (Paco).