It's for ZeroClipboard (http://zeroclipboard.org/), which is widely used (GitHub switched to it in early 2013). Unfortunately Flash is still the only reliable way to programmatically copy content to a user's clipboard in the browser.

Probably for instant copy buttons.