Issue #103 : attempt to improve the top menu.

This commit adds FontAwesome (v4.2.0) to the lib folder.
Could you explain why?