Temporarily adding download of robot_localization (latest) source to installEDT.bash