Lancer automatiquement le raffraîchissement des flux après une mise à jour de FreshRSS

https://github.com/marienfressinaud/FreshRSS/issues/330
Affichage version dans "à propos"
Cookie : sous-répertoire pour index (changements de répertoires !)

Implémente https://github.com/marienfressinaud/FreshRSS/issues/333
/public/ est renommé /p/
/public/index.php est déplacé dans /p/i/index.php
Le cookie de session est limité à /p/i/
Changelog

https://github.com/marienfressinaud/FreshRSS/issues/333
README oublié

https://github.com/marienfressinaud/FreshRSS/issues/333
Problème ctype_digit qui ne marche pas sur des variables qui sont déjà des entiers
CSS : notifications absolute plutôt que fixed

pour éviter qu'elles restent au milieu (surtout sur mobile) lorsqu'on
défile vers le bas et gênent la lecture (ou devoir attendre ou fermer
manuellement)
Déplacement de ./actualize_script.php sous ./app/

Pour une meilleure protection par défaut
Favicons compatibles multi-utilisateurs

Contribue à https://github.com/marienfressinaud/FreshRSS/issues/126
Favicons : test pour améliorer le cache HTTP

Test d'utilisation de PATH_INFO plutôt que QUERY_STRING pour améliorer
la mise en cache.
À tester sur différents serveurs
Mise à jour de f.url en base de données lorsque SimplePie découvre que l'adresse a changé

Et correction problème favicon lorsque l'adresse du flux a changé du
point de vue de SimplePie.
Plus petites optimisations.
Problème comparaison chaîne / entier
Mise à jour possible depuis v0.7-beta[1-2] + correction message

+ Correction message lorsqu'on clique sur "enregistrer" un flux où rien
n'a changé et qui disait qu'une erreur était survenue alors que
simplement rien n'avait changé
Install.php petites corrections

Évite des problèmes de droits lorsque config.php et *_user.php existent
déjà
Adresse des styles mise à jour
Bug affichage ID category introduit récemment
Merge remote-tracking branch 'origin/dev' into beta