Update license to reflect embedded fonts in the PDF manual.
4ti2 is a software package for algebraic, geometric and combinatorial problems on linear spaces.