Add HDL synthesis instructions to documentation
In particular, what tools are needed and how to cross-compile the firmware before running synthesis for each ref design.
Once this is done, remove the relevant comments from the top-level hdlmake manifests.