Merge "setup-devstack-source-dirs: also copy github libraries"