add Python3 to langs
Merge pull request #29 from primenumber/master

add Python3 to langs
work in progress.
cosmetic changes
cosmetic changes -- App.hs contest
cosmetic changes -- /user
cosmetic changes -- /status
cosmetic changes /ranking
modify spec
Merge pull request #28 from asi1024/refactoring

Refactoring
Add link to problem page in status page
fix a bug
Use a queue instead of finding 'Pending' submits from the database.
Merge pull request #30 from asi1024/use-queue

Use a queue instead of finding 'Pending' submits from the database.