shrink size of xdmf3 written files

thanks Andrew Burns for the patch.

Change-Id: I0efe48c0f43651e0da0fef036fa9e729d11c2a92
Merge topic 'xdmf3_writer_smaller_files' into master

71c55e8f shrink size of xdmf3 written files