A web user interface for Deb-o-Matic