Add export of tetrahedron to json and VTK result exporters.