Issue #103 : attempt to improve the top menu.
This commit adds FontAwesome (v4.2.0) to the lib folder.
Merge pull request #122 from giant-teapot/gh-pages

Issue #103 : attempt to improve the top menu.