Added Readme for Formalize

Added official Formalize README for citation sake.