Removing large datafiles accidentally pushed to github