Optimization for local junctions

Jürg Billeterrequested to merge
juerg/local-junctions into master

This eliminates unneeded copies of the project directory for junctions with a single local source.

Merge request reports