Add support for implicit multiplication of several variables

[vlovero]

I.e. 1 - x y should be parsed as 1 - x * y.

[rikardn]

Thanks for the suggestion. Sympy has support for this via an option to the parser so perhaps something similar could be done for symengine. Pull requests are welcome!