Revision 7714: /branches/jinty-testrunner/bin

• ..
• coverage_reports.py
• mkschooltoolinst
• remove-stale-bytecode.py
• rest-client.py
• runfdoctests.py