Delete OpenFlowAL.mli