[PATCH] texinfo: Update to version 7.0.3