user updates proof for requirements

This feature allows the user to update the the image of a proof for a
requirement.