New server for symbolic generation

The new server for symbolic generation is now available and used as default. The old one will be progressively be shut down now. When generating symbolic equations, use the following address: symbolic.robotran.be in the field “server”