Import all existing code to git.
Remove all old versions and old_versions directory.
Move proofs directory to a more useful name, test_features.
Make a clear warning on the readme.