0.13 release May 15

[David Bremner]

I will release 0.13 on Monday. I do not plan to include any more
functionality changes in release 0.13 at this point.

Please get any NEWS items in this weekend.

d