Undo a few CodeMirror stylings on lint icons

Reuse my 3 x PNG files again
Check if lib/settings.php exists first

Because we may include this file from a couple of dirs and I'd rather it
continued to be run from lib/settings.php. By doing it this way round,
we're ensuring this, as lib/lib/settings.php won't exist.