A European neutrino program based on the machine upgrades of the LHC