A cardiac modelling package based on Dolfin/FEniCS