Add quicksearch filters on label types

cf #110
Merge branch 'feature/110-quicksearch-on-all-filters' into develop

Fixed #110
Rename "none" filter to "__none__" and "*" to "__any__"

cf #171
Add "Not set" filter for label types

(but removed the "no labels", not really useful)

cf #171
Correct size conditon for search filter on label types

cf #110
Merge branch 'feature/171-filtering--on-unset-label-types' into develop

Fixed #171
Update to FontAwesome 4.1

cf #166
Add icons to activity feeds

cf #166
Repair home.css
Use new icons for commits and pull_request flag

cf #166
Merge branch 'feature/add-icons-to-activity-feeds' into develop

Fixed #166
Corret assignee related links on repo dashboard

Fixed #182
Do a force fetch when fetching after click the "update from github" menu

Fixed #178
Add a link on milestones to their github page

Fixed #180
Rename "refresh" to "actualize" in activity feed toolbar

Also make a common template for activity feed toolbars cf #183
Simple filters on activity feeds

cf #183
Toggle not/empty issue/repo after filtering activity feed

cf #183
Merge branch 'feature/activity-feed-filtering' into develop

Fixed #183
Add optionnal closing commit in activity feed

Fixed #184
Manage ordering when auto-creating label types

cf #168