Fix the doc build step.
Merge pull request #3506 from metajack/fix-doc-build

Fix the doc build step.

Reviewed-by: SimonSapin
trace keys as well
Merge pull request #3508 from wenderen/JSTraceable.key

trace keys as well

Reviewed-by: Manishearth