adds some fenics libraries