The pro-nilpotent group topology on a free group