Update for the html5 externs file.

Added a couple of missing definitions for webkit-prefixed fullscreen APIs. Added some missing annotations and fixed some existing ones.
Might check with @concavelenz, I believe he prefers the reverse (`void` over `undefined`).