FEniCS C++/Python interface