Boon for inventors as patent search tool gets a reboot  The Times