Re-enable User progress

Fixes #2555.

Summary of changes:
* Adds leafed_topics method to return topics with content
* Adds leafed_topics to 'playlists' that are filtered for progress reports
* Reshows link in navbar.
Adds method and global for returning all topics that have leaf nodes directly in them.