[gnome-music] (9 commits) ...albumwidget: Add an album menu

[Jean Felder <jfelder src gnome org>]

Summary of changes:

  a99931d... albumwidget: Fix song activation return value (*)
  d0afdc1... albumwidget: Add more static type annotations (*)
  426bfd2... albumwidget: Display album info above the list of songs (*)
  b170985... albumwidget: Display album details to the right of the cove (*)
  5887e51... albumwidget: Remove unused parameter _duration (*)
  19f32ac... albumwidget: Update album infos (*)
  5347b43... albumwidget: Increase widget margin (*)
  ed2ed6c... albumwidget: Add a play button (*)
  25a7a7a... albumwidget: Add an album menu (*)

(*) This commit already existed in another branch; no separate mail sent