[Spice-devel] spice-html5: support for VP8 codec format

[Jeremy White]

This patch series introduces support for VP8 codecs to the
spice-html5 client.

The first few patches simply introduce debug tools; the money
patches are the 4th, 5th and 6th patches.

This works in Firefox 45.  It works in Chrome for small browser
window sizes; for larger sizes, Chrome appears to suffer from this
bug:
  https://bugs.chromium.org/p/chromium/issues/detail?id=593273

I will follow this email with a further email detailing the overall
status of audio/video playback in spice-html5.