Fast computation of non-linear power spectrum in cosmologies with massive neutrinos