Inserting terms of the GNU General Public License.