Move debian to dist-debian

debian directory in repository causes merging fail in PPA, so we need to
rename it.