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.
Let's leave alone the ones that are already "void" so it's a smaller patch.