add debian/, modify license to "GPL-3.0+ and PDDL-1.0"
from "GPL-3.0 and PDDL-1.0"
	modified:   Makefile.am
	modified:   configure.ac
	new file:   debian/changelog
	new file:   debian/compat
	new file:   debian/control
	new file:   debian/copyright
	new file:   debian/docs
	new file:   debian/rules
	new file:   debian/source/format
	modified:   dummyetc.spec