Delete needless files (generated when trying GitHub Pages)