[core.interface] lock BasicInterface instances in inject_sid
[core.interfaces] small tweak
[core.interfaces] add generate_sid decorator
[core.interfaces] keep track of sid creation
[pymor.defaults] add sid to Defaults
[core.cache] use defaults.sid in key generation