Add borderWidth setting
Submitted by Simon Nagl
Link to original bug (#767622)
Description
Add a border around the terminal output. The width should be controllable over a profile setting.
xterm has a setting doing this called borderWidth (https://wiki.archlinux.org/index.php/Xterm#Remove_black_border)
This would be useful when using with a theme/window manager with minimal window borders.
Version: 3.20.x