Fix remaining mentions, and update links

docs/Makefile

@@ -97,9 +97,9 @@ qthelp:
 	@echo
 	@echo "Build finished; now you can run "qcollectiongenerator" with the" \
 	      ".qhcp project file in $(BUILDDIR)/qthelp, like this:"
-	@echo "# qcollectiongenerator $(BUILDDIR)/qthelp/SymbiYosys.qhcp"
+	@echo "# qcollectiongenerator $(BUILDDIR)/qthelp/YosysHQYosys.qhcp"
 	@echo "To view the help file:"
-	@echo "# assistant -collectionFile $(BUILDDIR)/qthelp/SymbiYosys.qhc"
+	@echo "# assistant -collectionFile $(BUILDDIR)/qthelp/YosysHQYosys.qhc"
 
 .PHONY: applehelp
 applehelp:
@@ -116,8 +116,8 @@ devhelp:
 	@echo
 	@echo "Build finished."
 	@echo "To view the help file:"
-	@echo "# mkdir -p $$HOME/.local/share/devhelp/SymbiYosys"
-	@echo "# ln -s $(BUILDDIR)/devhelp $$HOME/.local/share/devhelp/SymbiYosys"
+	@echo "# mkdir -p $$HOME/.local/share/devhelp/yosys"
+	@echo "# ln -s $(BUILDDIR)/devhelp $$HOME/.local/share/devhelp/yosys"
 	@echo "# devhelp"
 
 .PHONY: epub

frontends/verific/README

@@ -19,7 +19,7 @@ Testing Verific+Yosys+SBY for formal verification
 ========================================================
 
 Install Yosys+Verific, SBY, and Yices2. Install instructions:
-http://symbiyosys.readthedocs.io/en/latest/quickstart.html#installing
+https://yosyshq.readthedocs.io/projects/sby/en/latest/install.html
 
 Then run in the following command in this directory:
 

frontends/verific/verificsva.cc

@@ -19,7 +19,7 @@
 
 
 // Currently supported SVA sequence and property syntax:
-// http://symbiyosys.readthedocs.io/en/latest/verific.html
+// https://yosyshq.readthedocs.io/projects/sby/en/latest/verific.html
 //
 // Next gen property syntax:
 //   basic_property