[WIP] Jacobian benchmark

This is implementing the benchmark specified in #133.

TODO:

* [ ] Don't check in the `A.txt` file, rather check in code that generates it
* [ ] Make sure that Sage, SymPy and CSymPy do the same work