Clean up git history

The repo is very large - way too large for this small project. Likely, there are big and outdated (now removed) data files in the history.