Stav "opraveno"

Implementace stavu "opraveno", kdy účastníci vidí opravené úlohy a oficiální výsledkovku a mají možnost protestovat, než se soutěž úplně uzavře.

Closes issue #217 (closed).

db/db.ddl

@@ -97,6 +97,7 @@ CREATE TYPE round_state AS ENUM (
 	'preparing',			-- v přípravě (viditelné pouze organizátorům)
 	'running',			-- je možno odevzdávat
 	'grading',			-- je možno opravovat a vyplňovat body
+	'graded',			-- opraveno, soutěžící mohou protestovat
 	'closed',			-- uzavřeno, není dovoleno nic měnit, zveřejněny výsledky
 	-- Garanta stavy neomezují, vždycky může všechno.
 	-- Ve stavu "running" mohou odevzdávat účastníci i dozor, a to i po termínu,
@@ -322,7 +323,8 @@ CREATE TYPE job_type AS ENUM (
 	'upload_feedback',
 	'create_protocols',
 	'process_scans',
-	'fix_submits'
+	'fix_submits',
+	'send_grading_info'
 );
 
 CREATE TYPE job_state AS ENUM (
@@ -455,3 +457,12 @@ CREATE TABLE score_tables (
 );
 
 ALTER TABLE contests ADD CONSTRAINT "contests_scoretable_id" FOREIGN KEY (scoretable_id) REFERENCES score_tables(scoretable_id);
+
+-- Odeslané mailové notifikace
+
+CREATE TABLE sent_email (
+	user_id		int		NOT NULL REFERENCES users(user_id) ON DELETE CASCADE,
+	key		varchar(100)	NOT NULL,
+	sent_at		timestamp with time zone	NOT NULL DEFAULT CURRENT_TIMESTAMP,
+	PRIMARY KEY (user_id, key)
+);