better version numbering

[bbolker]

We should be more consistent/come up with a formal system for version numbering.

Semantic versioning (add link) is a nice idea but I have found in the past that I have difficulty following it strictly.

This SO question; there's lots of other discussion here