CasADi version: 3.5.3

Release date: Aug. 5, 2020