Tools for maintaining debian watch files