Option --extra-module for including lemmas modules dynamically in kontrol prove

Option --extra-module for including lemmas modules dynamically in kontrol prove #5063