Document changes and release 0.15.0
Contributors, please let me know if you want anything else mentioned in NEWS.
We'll likely land !1004 (merged), !999 (merged), !1001 (merged) before the release. Would also be great to have bits of !995 (merged)
Edited by Guido Günther