misc: using sudo to add mongo and docker repos to source list.