Documenting and streamlining Packet.mli.
Update dependence (using bit functions from Frenetic_Bit).
Merge branch 'master' of https://github.com/frenetic-lang/frenetic