D-manifolds, d-orbifolds and derived differential geometry: a detailed summary