“May the patent owner avoid the rule against double patenting by buying all of the substantial rights to a second, later-expiring patent for essentially the same invention, so long as the seller retains nominal ownership and a theoretical secondary right to sue for infringement?”