Integrated most of the special text color/usage options to settings (not working: the "base" color), along with several extra options

Integrated the "continue despite mistakes" option to settings

Embedded settings into a scrollarea, moved its tab to the left by one

Added GPLv3 headers to the files modified in this commit