Add aur/fbxkb
Fix icons in aur/fbxkb
Add aur/coq-nox
Add aur/coq-doc