added option to produce TikZ plots