Add debian branch for packaging

There's no need to keep a separate repository for this.