[ros-diffs] [martinf] 33: import the lean explorer branch into the new repository