Don't clone doc/juliadoc for --HEAD

Fixes code to match the comment. Fixes #135.
Merge pull request #136 from tchajed/patch-1

Don't clone doc/juliadoc for --HEAD