prepare release 5.1.2

lib/bootstrap.php

@@ -13,7 +13,7 @@
 const DEFAULT_ENV = 'production';
 
 //software version - please leave it as it is!
-$SOFTWARE_VERSION = '5.1.1';
+$SOFTWARE_VERSION = '5.1.2';
 
 // Store startup time
 $STUDIP_STARTUP_TIME = microtime(true);