[ros-diffs] [hbelusca] 73756: Sync with trunk r71184 (moving around the PSDK & tools), taking care of keeping the special headers (see r73754; someone has to decide whether they are actually better than the or...