add_rsymphony_solver function

Add a SYMPHONY solver with Rsymphony