Bugfix in pregen_figures, change default IMG in nogo.js