Fixed bug in http_responder: not corrected export of tetcolor_mega_* results. Improvements in leaderboards.py
Improvements in db.py