post_mortem: make quit really quit rather than go into post-mortem.
VERSION.py, NEWS: get ready for release 0.3.0
rest: reduce warnings