Post Holdings and TreeHouse Foods have called time on their proposed breakfast-cereal transaction amid opposition from US competition officials. What are their options now?