Remove version.texi from the repo

Closes #41