Add property to toggle showing bonus on report

Add property to toggle 'copy ID to clipboard' feature.

Add some extra properties. Clean up props file.

Add support for group/team marking. Other minor tweaks.

Add textarea font size property since the default is tiny on 4K screens.

Add some default values to the schema

Update some deps

Add unmarked view

Prevent penalties from resulting in negative marks

Bugfix. Don't send email if marking not complete.

Bugfix. Clear buttons not working. Inverted logic at some point.

Update H2 versions

Add description of editor and criterion types.

Add penalty as criterion

Update libs. Modify build to use libs rather than lib.

Remove deploy test folder

Add retry with back off support for handling rate limits.

Rationalised normal vs special vs penalty

Add more complete .gitignore

Update author attribute in JavaDocs

Update dependencies. Clean up build.gradle.

Format SQL

Add jdtls stuff to ignorefile

Add CC property

Fix the result dialog not appearing problem. Fix some schema issues.

Add database startup scripts

Make marking window modal. Fix bugs with incomplete results.

Update properties file

Change 'special' criterion to text fields. ...

* Allows arbitrary values for things like late penalties (within specified ranges).
* Can abuse this to mark exams.

Switch DAO to using submission_id for finding students. Recursive code reformat.