docs: Fixing requirements.txt

 * Install sphinx-verilog-domain.
 * Update for the sphinxcontrib-verilog-diagrams name change.
 * Use the SymbiFlow version of Symbolator.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>