Migration für Plugin-Umbenennung fehlt

Das Plugin wurde von LernraumBuchungPlugin zu LernraumPlugin umbenannt. Es fehlt aber noch eine Migration, die diese Umbenennung in die Systemtabellen (schema_versions und plugins) einträgt.