User interface for task-level git repositories

Closes #65 (closed)

Shows user instructions about task-level repositories on the instructor task page.