Reorder includes in BinomFact.cpp to avoid confusing mmgr
(#476)