Non-linear power spectrum including massive neutrinos: The time-RG flow approach