Add semantic versioning contraint

We should agree on this before 1.0 final.