add dotdeb repo