Merge remote-tracking branch 'tor-github/pr/776' into maint-0.4.0

diff --cc src/feature/dirauth/shared_random.c
Simple merge

diff --cc src/feature/dirauth/shared_random.h
Simple merge

diff --cc src/feature/dirauth/shared_random_state.c
Simple merge

diff --cc src/feature/dirauth/shared_random_state.h
Simple merge

diff --cc src/test/test_shared_random.c
Simple merge