feat(library/modules): add option for discarding the proof of imported theorems (after checking them)

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/kernel_bindings): used 'named' parameters in import_modules API

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>