Add simple prover and simple verifier examples. #959

Job	Run time
build_and_test (components/integration-tests)	1m 27s
build_and_test (components/uid-mux)	47s
build_and_test (components/actors/actor-ot)	55s
build_and_test (components/cipher)	1m 25s
build_and_test (components/universal-hash)	1m 52s
build_and_test (components/aead)	1m 56s
build_and_test (components/key-exchange)	1m 10s
build_and_test (components/point-addition)	1m 7s
build_and_test (components/prf)	1m 37s
build_and_test (components/tls)	2m 6s
build_and_test (tlsn)	4m 26s
	18m 48s

Provide feedback