manual: Explain how to compile from git.