Merge pull request #6444 from martin-cs/feature/goto-analyzer-documentation

Add documentation on goto-analyzer to the manual

Author: martin-cs