Remove obsolete run_doctests script
Refactor to improve coverage statistics