Updated version number and version.txt.