Adding debian/* files. Closes #927