add sympy to download instructions

upstream FIAT change