Update debian/* in preparation of the 0.9.15 release