texinfo version bump to 5.2