Binotto officially out as Ferrari Team Principal.