Add size option to TikZ terminal