feature #33: handle resources dirs. bugfix duplicated themes

Add -T and -P options to search for themes/palettes in additional directories.
Raise an error if duplicated themes name are found.
bugfix: cleanly handle more errors when loading resources

Also print lexers after palettes.