Improve global theme
Branch: https://gitlab.iscpif.fr/gargantext/purescript-gargantext/tree/dev-509-improve-global-theme
Examples of improvements:
- create and merge new icons
- modernize some elements (remove border radius, reduce a bit some spacings)
- improve the ergonomics (small elements)