Cosmetic fix
Pack callback arguments into records

Leave out BBD, since they're impossible to do cleanly and consistently.
The constraint that {ida,cvode}_impl.ml can't mention parallel types
means the types must be re-declared in bbd modules, but this means we
need to set up a proxy function that unnecessarily copies those records.
It's not just inefficient, but also confusing and complicates the code.

Their requirements are also inconsistent.  Functions in:

 - kinsol_bbd and cvode_bbd take too few arguments to justify using
   records

 - cvodes_bbd and ida_bbd take reasonably few arguments that NOT using
   records is justified

 - idas_bbd take so many arguments that records would be useful.
Cosmetic fix in doc
Remove stale quickcheck code
Minor update to the style of example arguments.
Consistency between yQ and yQS. Review arg docs.

We think that InitQuad must be called before InitQuadSens and that both
calls must use the same size nvector. See:
http://sundials.2283335.n4.nabble.com/Re-Relationship-between-CVodeQuadInit-and-CVodeQuadSensInit-td4653367.html

Minor updates to the arg documentation.
Update TODOs.
Add links to github repository.
Update packaging information.
Create README.md
Fix checksum.
Remove obsolete READMEs
Rename yS -> s, yB -> yb, qB -> qb
Proofread and correct the introductory text.
Rework docs for quadrature sensitivities.
Not much more TODO.
Refine install instructions for Sundials.
Debug the package.
No need to pass --enable-mpi.
Fix docs.