Re-enable 02_add_transparency_properties.patch.

This patch was dropped in anticpation of an update to a newer series.

We want to keep the transparency feature when upgrading gnome-terminal to a
newer series, and this patch makes use of a setting in our theme to make
gnome-terminal have some transparency by default. This setting defaults
on—visit profile preferences → background to turn it off.