ghcjs-examples install sometimes fails the first time (gtk2hs UName issue), so retry if it does