Update download link
clarify paragraph about the analyzer
Re-add missing section about building the tracer