Some tools for working with Nek5000, FEniCS or semtex