--proxy pour pip est inutile si on définit les variables d'environnement http_proxy et https_proxy
refactor(jukebox):
- change IDs of playlists to integer
- factorize playlist changing in musicplayerd and ajax_play
- various improvements for stability
fix(jukebox): change warning messages
fix(jukebox):
- returning to blank position after selecting a playlist
- prevent to send useless requests to the server
Merge branch 'dev' of https://github.com/possum-software/possum into dev