add lib/OpenFlow0x04.mli