A tool to use travis-ci.org to check the quality of Debian packages