Derived Lie Infinity-Groupoids And Algebroids In Higher Differential Geometry