djgpp port: move dos sources to GPLv3+ for consistency (formerly was GPLv2+.)