Merge debian infrastructure into stable.
Cleanup stable branch.