Move documentation of more advanced features from the user manual to the developer manual

Author: danpoe

doc/cprover-manual/goto-harness.md renamed to doc/architectural/goto-harness.md

@@ -8,10 +8,7 @@
 
 [A Short Tutorial](cbmc/tutorial/),
 [Loop Unwinding](cbmc/unwinding/),
-[Assertion Checking](cbmc/assertions/),
-[Restricting function pointers](cbmc/restrict-function-pointer/),
-[Memory Analyzer](cbmc/memory-analyzer/),
-[Program Harness](cbmc/goto-harness/)
+[Assertion Checking](cbmc/assertions/)
 
 ## 4. [Test Suite Generation](test-suite/)