Rename the overlay to stepping-stone

This may cause a collision with our internal one, but better rename the
internal repository to something else.
Merge branch 'develop'