slang enhancements

[fischeti]

Just a list of future enhancements that could be useful for the slang bindings and derived features to keep track:

• Allow downgrading slang parsing errors to warnings.
• pickle: Output warnings for missing modules