remove core.modules in favor of pyi-files
Code completion also works if we provide a pyi-file for the SaQC
class. This does not solve the general issue of duplicated method interfaces, but doesn't look as ugly as the 'real' python module with it's wrapping calls.