This exchanges the terminal view icons with a new version. The existing
icons are only present as raster graphics and are based on elements that
do nowadays not fit that well anymore. At the same time, other icons for
terminals became common in other applications. The proposed icons (for
the view itself and the toolbar item to create a new view) align with
such common terminal icons.