Merge pull request #5 from dbuenzli/master

Pixel pushing.
whitespace cleanup
unbreak rekeying
use CLOCK
auto-opam
adjust to rekey changes
send trace data on /rekey directly
adjust dependencies
rekey -> reneg renaming
emphasize that the handshake just took place
update
draw boxes inside of diagram
M-x cleanup-whitespace
pretty print ciphersuite
show master secret in a box
use entropy device and seed rng properly
remove printf
require entropy-unix
add style for diagram (thx @dbuenzli)
condense multiple "(data on this page)" into a single
improve