new function is_tikz_dev()
new function is_tikz_dev()

fboehm/labnotebook,fboehm/labnotebook,fboehm/cboettig_site,fboehm/labnotebook,fboehm/cboettig_site,antass/labnotebook3,fboehm/cboettig_site,antass/labnotebook3,fboehm/cboettig_site,fboehm/cboettig_site,fboehm/labnotebook,fboehm/labnotebook,antass/labnotebook3,fboehm/labnotebook