Remove version.texi from the repo

Closes #41
3 files changed