Made a new section on Weil restriction over local fields . .

. . .then got stuck trying to prove the same proposition we talked
about in the lounge. I'll come back to this when I can.