Add simple prover and simple verifier examples. #948

Job	Run time
build_and_test (components/integration-tests)	2m 41s
build_and_test (components/uid-mux)	1m 34s
build_and_test (components/actors/actor-ot)	1m 9s
build_and_test (components/cipher)	1m 50s
build_and_test (components/universal-hash)	2m 17s
build_and_test (components/aead)	55s
build_and_test (components/key-exchange)	53s
build_and_test (components/point-addition)	1m 22s
build_and_test (components/prf)	1m 18s
build_and_test (components/tls)	1m 22s
build_and_test (tlsn)	3m 4s
	18m 25s

Provide feedback