moving to a PHP framework

Hello all,

During/after the hackathon of 24 January the issue was raised that the codebase of DOMjudge is getting more and more complex and that it would be a good plan to move to a PHP framework to separate code and HTML layout via templating and using an ORM to abstract away the database.

The discussion was initiated in a github issue here: https://github.com/DOMjudge/domjudge/issues/198

and I'm attending everyone here to it.

If you have any experience with PHP frameworks such as Symfony, Laravel, or others, feel free to chime in, or even help with some initial testing to determine which framework to choose.

Jaap