add a licence file (GPL version 3)