Add license

[rbrijder]

Please consider adding a Apache 2.0 license header to each lean file. This way other people could use the code to, say, try to merge it into mathlib.

[Nice work by the way!]

[Bryan Gin-ge Chen]

Thanks! I'll try to do this later today.

[Bryan Gin-ge Chen]

Closed in 6c41add