It's a Chrome extension called Screen Recorder. Very nifty! I've used it for my other projects and I'm happy with it. Only downside is it generates webm only - I had to put it through an encoder.