Adding a LICENSE file (gplv3)