Added garbled circuit user manual.