Allow to rename libraries

Libraries now can be renamed. A new entry has been added to the library
page menu, which opens a dialog which in turn lets the user input a new
name.
12 jobs for 195-allow-to-rename-libraries in 14 minutes and 22 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Images
manual #57465978
allowed to fail manual
build_image_android
manual #57465975
allowed to fail manual
build_image_ubuntu
manual #57465976
allowed to fail manual
build_image_win32
manual #57465977
allowed to fail manual
build_image_win64
 
  Build
passed #57465986
android_armv7

00:09:43

passed #57465987
android_x86

00:09:50

manual #57465984
macos allowed to fail manual
macos
passed #57465979
ubuntu_appimage

00:14:22

passed #57465980
win32_build

00:05:35

manual #57465982
windows allowed to fail manual
win32_vs_build
passed #57465981
win64_build

00:07:10

manual #57465983
windows allowed to fail manual
win64_vs_build