removed dangling CasadiOptions.setCatchErrorsPython(False), possibly fixing #779