Added the GPL v3 license, under which the original crux ports were licensed.