Added UTF8 support to Latex header for generated solutions