How to upgrade domjudge system from 5.1.3 to 5.3.2 without changing current data