Documentation Updates

Updates to Documentation and Zenodo configuration

Initial Artifact Release

This artifact is a snapshot of our work following artifact submission to PLDI, some minor bug fixes, and some repackaging.