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.
To be honest I prefer `void` over `undefined` (and have caught myself using it a few times out of habit) but I thought its use in extern files was discouraged.