Has anyone implemented the BB84 protocol and put it in production?
There are a number of commercial QKD devices on the market, including ones by IDQuantique, QuintessenceLabs, MagicQ and SeQureNet. In addition, there are a number of other companies that are working on it (and may be actively marketing them as well).
Some of these companies use an internal protocol similar to the original BB84 protocol; others use other versions of quantum key exchange.
I am thinking of incorporating the BB84 protocol into the network list of protocols at the IETF
Now, the IETF (actually, the IRTF) has a research group, the Quantum Internet Research Group, that is already chartered to cover QKD (although that is not their main focus). I'm not sure what your master list of network protocols is, but it should already be there.