Update version for the 10.0.1 release.

It's so nice that this is updated in just a single place now. Thanks, Emil!

VERSION

diff --git a/VERSION b/VERSION
index a13e7b9..1532420 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-10.0.0
+10.0.1