Add a license

This is the same 3-clause BSD license used by https://github.com/mokus0/monad-loops.

We'd like to use this bundle for highlighting Agda code on github.com using the new syntax highlighter we've been developing. Would you be willing to add a license? Thanks!