[firedrake] Numba

Hello all, One of my badminton acquaintances asked if I'd heard of Numba <http://numba.pydata.org/> (wiki <http://en.wikipedia.org/wiki/Numba>, github <https://github.com/numba/numba>). It seems to have a role similar to that of Cython, while requiring even less intrusive changes to the code. Chances are that someone else on the list will have a better idea of whether we might be interested in using it in the future. There's a couple of blog posts here <http://jakevdp.github.io/blog/2012/08/24/numba-vs-cython/> and here <http://jakevdp.github.io/blog/2013/06/15/numba-vs-cython-take-2/> comparing Numba with Cython; they seem to have similar execution speeds so it's unlikely to be worth rewriting existing code. Andrew