maintenance on the repository. pushing some minor updates I had forgotten about and removing unused files