More generic bash script to create tikz examples