Make download-* targets display "[download] *" instead of log

Signed-off-by: Timothy Gu <timothygu99@gmail.com>
Merge pull request #343 from TimothyGu/codename-clarity

Make download-* targets display "[download] *" instead of log