dotdeb repository configuration

For debian distributions, configure the dotdeb repository inside apt