Allow deleting configuration tree node with no corresponding directory in project tree

2018-05-10, Edouard Tisserant