Can the Terms of the GPL Prevent GNU/Linux being used for War?