* [my deleted libraries] redesigned it
* moved the entrance from the right corner to the left dropdown menu of
'My Libraries' page
* redesigned it: changed it from an independent page to a dialog
* [my deleted libraries] improved UI details for the dialog(repo list & empty tip)
