Add symbolic AD research code/notes, plus a revjump skeleton.

In particular, a Summary of the AD work can be found in
ad-experiments/README.md and ad-experiments/Example.hs.