Joint halo-mass function for modified gravity and massive neutrinos - I. Simulations and cosmological forecasts