Hartree–Fock–Bogoliubov theory for odd-mass nuclei with a time-odd constraint and application to deformed halo nuclei