Add user and global config files for rosdistro

So that one can specify the index url