Add a VERSION file

I'll also tag the version as 1.0.0 in Git, but only after the final
conversion.