Video Lectures

Adds a better interface for video annotations, basically uses Austin's code for problems/problem sets. Cleans up some of Raymond code, and merging some of the stuff he forgot to.

I did some rebasing and squashing and accidentally made commit a8ab17b the source of all changes. Shouldn't be an issue. I hope.