FErari: Finite Element rearrangement to automatically reduce instructions
-------------------------------------------------------------------------

FErari generates optimized code for evaluation of the element tensor
(element stiffness matrix) and functions as an optimizing backend for
FFC.
