README: added proveit to list of compatible implementations