Repo.py: added set_debug_function(), _debug()