core (memory/params): added `extra` argument to filter out params notably in `getParamsUI`: In some case, it may be desirable for a frontend to not expose some parameters to user (e.g. it is the case on Android with the `autoconnect_backend` parameter). An new `extra` parameter has been added to a couple of parameters method for that: it can contain the `ignore` key with a list of [category, name] of parameters to skip.

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