Global customization of the pretty-print and LaTeX formats

The pretty-print and LaTeX formats can now be customized: the symbols used can be changed (a centered dot can thus for instance be used instead of the usual multiplication symbol).

Unit tests were added for this.

More details are in the Sphinx documentation.