Also write the coefficient vector as a binary file
The compute-disc-error program reads this to compute discretization errors.
Doing the data transfer via VTK files would be more convenient, but that involves a resampling which I'd rather like to avoid.