minor changes -- commented out some code from old version not needed
anymore, eliminated a "not" in a conditional,

also, noticed a minor bug -- if you ran out of factions, e.g.,
ran no mirror in a 7 person game or something, there was the possibility
of a crash because "proposed_faction" was not being decremented by 1 after
being assigned by lua. so this is fixed too