Zjednodušení práce s joby

Obsahuje:

• #294 (closed) - joby s vyšší a nižší prioritou, dva mule workery
• #289 (closed) - zavedení vyčkávají stránka u jobů a lepší určování, kam přesměrovat po zpracování jobu

db/db.ddl

@@ -354,6 +354,7 @@ CREATE TABLE jobs (
 	job_id		serial		PRIMARY KEY,
 	type		job_type	NOT NULL,
 	state		job_state	NOT NULL,
+	priority	int		NOT NULL DEFAULT 0,					-- vyšší číslo = vyšší priorita
 	user_id		int		NOT NULL REFERENCES users(user_id),			-- komu patří
 	created_at	timestamp with time zone	NOT NULL DEFAULT CURRENT_TIMESTAMP,	-- kdy byl založen
 	finished_at	timestamp with time zone	DEFAULT NULL,				-- kdy doběhl