Merge branch 'jirka/decimal-points' into 'devel'

db/db.ddl

db/upgrade-20210328.sql

mo/db.py

mo/imports.py

mo/score.py

mo/util.py

mo/util_format.py

mo/web/jinja.py

mo/web/org_contest.py

mo/web/org_round.py

mo/web/org_score.py

mo/web/templates/org_contest.html

mo/web/templates/org_contest_solutions.html

mo/web/templates/org_generic_batch_points.html

mo/web/templates/org_round.html

mo/web/templates/org_score.html

mo/web/templates/org_submit_list.html

mo/web/templates/parts/org_solution_table.html

mo/web/util.py