Added "version.texi" to repository.