OpenOLAT 12.5 released and move of code management to Git