Release 2.0.0

For a long time we've been relying on git versioning to identify versions, however this makes it difficult to reproduce problems so henceforth releases will carry a version number.