Ajout du mode global pour icon()

Oublié dans
https://github.com/marienfressinaud/FreshRSS/commit/eae19e13634593d919811f527eff9e1efd34c03b
Page Speed : bouge le style 'print' dans la CSS principale

Bouge le petit style dédié à l'impression dans la CSS principale, pour
de meilleures performances, et aussi pour permettre aux thèmes de
changer le rendu à l'impression.
Au passage, ajout de `@charset "UTF-8";` en tête de CSS
Changement de syntaxe pour être conforme à la norme utilisée ailleurs.
Merge remote-tracking branch 'upstream/dev' into issue283
Merge pull request #291 from aledeg/issue283

Issue283: Améliorer fonctionnement raccourci pour refermer un article
JS : Léger JSLint

Quelques corrections mineures suite à
https://github.com/marienfressinaud/FreshRSS/pull/291 plus autres
détails JS
Supprime fonction small_hash dans install.php

Elle était redondante avec la fonction définie dans lib/lib_rss.php
Corrige appel fonction indéfinie

icon() n'existe pas (plus ?) et aurait dû être remplacée par
RSSTheme::icon à priori
Néanmoins on va pouvoir supprimée cette partie là du code (base_url)
Corrige bug Minz_Log

Les logs de niveau ERROR n'étaient plus loggués en production (alors que
c'est quand même leur but ;))
SQL : utilisation de (id_feed, guid) pour l'unicité

Préparation avant
https://github.com/marienfressinaud/FreshRSS/issues/202
Typo commentaire
SQL : Passe e.id en bigint plutôt que char(6)

Contribue à https://github.com/marienfressinaud/FreshRSS/issues/202
e.id est généré à l'insertion par microtime(true).
Suite de e.id en bigint

Contribue à https://github.com/marienfressinaud/FreshRSS/issues/202
Corrige bug requêtes SQL (install.php)

Les noms des tables étaient mal protégées
Classement par date d'ajout e.id (expérimentation)

Expérimentation : classement par date d'ajout dans la base plutôt que
selon la date déclarée par le flux (qui est parfois fausse dans le
passé, dans le futur, ou absente).
Quelques conséquences :
* Les flux avec des dates erronées ne sont plus un problème
* Lorsqu'on fait "marquer tout comme lu", les articles arrivés pendant
la lecture ne sont plus indûment marqués comme lus
* Les articles ont tendance à être plus regroupés par flux lorsqu'on les
affiche par catégorie
* Si un utilisateur n'utilise pas de cron et n'utilise pas FreshRSS
pendant plusieurs jours, lors du rafraîchissement, les nouveaux articles
seront dans "Aujourd'hui" (à interpréter donc comme les articles reçus
aujourd'hui, et non comme déclarés comme étant publiés aujourd'hui)
* La pagination est plus efficace

Termine l'implémentation de
https://github.com/marienfressinaud/FreshRSS/issues/202
Déplacement de config Shaarli

Page dédiée pour les options de partage
Voir #175
e.id utilise la date déclarée pour les nouveaux flux

Contribue à https://github.com/marienfressinaud/FreshRSS/issues/202
Touch plus standard

Corrige https://github.com/marienfressinaud/FreshRSS/issues/296
Ajout traductions
Ajout options partage Poche et Diaspora

Le partage n'est pas encore possible mais on peut préciser les urls dans
la configuration
Voir #175