Font awesome update

This comes on the top of PR #6221. (I will rebase when it is merged). 
Just updates font-awesome to 4.2.