Add 2009-2013 videos to `videos.json`.

Nobody has objected to the format of `videos.json`, so this PR adds the rest of the videos from 2009-2013 using the same format.