Update lemon-graph formula to match version 1.3.1 of lemon in COIN-OR.