Adding GRip to the fluxbox menu