ensure that all libs from composer are compatible with php 7.2 and enforce 7.2...

ensure that all libs from composer are compatible with php 7.2 and enforce 7.2 by settings config.platform.php to 7.2, fixes #1569

Closes #1569

Merge request studip/studip!1002