Use rosdistro instead of rep3.py

The code related to rosdistros is maintained in the
rosdistro module, and should stay there.