small bug report ...

The SVG backend, as called from the GUI frame on (GTKAgg), doesn't
properly close it's file object after writing the data.

I've been wondering why only half my svg-figures are saved ... the
write-cache wasn't being flushed until the python process died.

Bryan