Budget documents describe "operational prototypes" that would let immigration agents identify people on the street using biometric data.