Introduce possibility to remove songs from history

This change allows to remove a song from the playback history, and therefore from the "most played" category of the library page.