Update texinfo to the latest 5.2