Make gdb pretty printer Python3-compatible (bug 800).
Add a small benchmark to compare dense solvers for small to large problems.