Added option to Flite.hs to translate Flite to SPJ Core