add annotation interface and proof object extraction script

add human evaluation study documentation

add PRODUCT.md describing evaluation suite

Initial release: PCA evaluation benchmark suite