Microscopic derivation of density functional theory for superfluid systems based on effective action formalism. (arXiv:2008.05919v2 [nucl-th] UPDATED)