Fixed license information
Also license "tools/config" under the GPL version 3 explicitly