Prepare 8.1.3 release

Author: vmcj

ChangeLog

@@ -1,5 +1,11 @@
 DOMjudge Programming Contest Judging System
 
+Version 8.1.3 - 19 September 2022
+---------------------------------
+ - Bugfix for interactive problems with racecondition when logging and
+ terminating the submission
+ - Bugfix to allow non-numeric external IDs
+
 Version 8.1.2 - 23 July 2022
 ----------------------------
  - No changes, new tag to release with proper Changelog

README.md

@@ -6,7 +6,7 @@ DOMjudge
 [![Coverity Scan Status](https://img.shields.io/coverity/scan/671.svg)](https://scan.coverity.com/projects/domjudge)
 [![LGTM alerts](https://img.shields.io/lgtm/alerts/g/DOMjudge/domjudge.svg?logo=lgtm&logoWidth=18)](https://lgtm.com/projects/g/DOMjudge/domjudge/alerts/)
 
-This is the Programming Contest Jury System "DOMjudge" version 8.1.2
+This is the Programming Contest Jury System "DOMjudge" version 8.1.3
 
 DOMjudge is a system for running a programming contest, like the
 ICPC regional and world championship programming contests.