RunDoctestsScript now works with scoremanager.
Merged master.