pretty-print synopsis of tikz function

Fixes #40.