Computing Ext's groups by a perfect complex on the base

This following a discussion on the blog at
http://math.columbia.edu/~dejong/wordpress/?p=2896

Thanks to Jack Hall for pointing out that the necessary approximation
results were already available in the paper by Lipman and Neeman.