tools (common/template): theme settings with possibility to disable default fallback for CSS: - themes can now have a `settings.json` file at their root to modify the renderer behaviour - the `css_default_fallback` boolean (true by default) can be used to disable the fallback mechanism when CSS files are checked. Useful when a theme doesn't follow the CSS naming of default theme. - introduced some type hints

include MANIFEST.in sat/VERSION
global-include *.py
global-include *.ini
global-include *.po *.mo
global-include CHANGELOG COPYING* INSTALL README*
global-include *.sh
global-include Makefile *.rst *.bat
graft misc
graft doc
include sat_frontends/jp/jp sat_frontends/primitivus/primitivus
include sat/bridge/bridge_constructor
global-exclude *.un~
prune sat/bridge/bridge_constructor/generated