texinfo: Update to version 5.1 (fix issue #18).