added license (GPL) text