Change license to GPL v3 with autoconf exception