Move Debian stuff into its own branch.